Publisher
Springer International Publishing
Reference89 articles.
1. Alberti M, Chesani F, Gavanelli M, Lamma E, Mello P, Torroni P (2008) Verifiable agent interaction in abductive logic programming: the SCIFF framework. ACM Trans Comput Log 9(4):29:1–29:43
2. Baresi L, Guinea S (2005) Dynamo: dynamic monitoring of WS-BPEL processes. In: CSOC, vol 3826, pp 478–483
3. Basin DA, Klaedtke F, Müller S, Pfitzmann B (2008) Runtime monitoring of metric first-order temporal properties. In: FSTTCS, vol 2, pp 49–60
4. Basin DA, Harvan M, Klaedtke F, Zalinescu E (2011) MONPOLY: monitoring usage-control policies. In: RV, vol 7186, pp 360–364
5. Bellodi E, Riguzzi F, Lamma E (2010a) Probabilistic declarative process mining. In: KSEM, pp 292–303
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献