Runtime Verification of LTL-Based Declarative Process Models

Maggi, F. M.; Westergaard, M.; Montali, M.; van der Aalst, Wil M. P.

Springer (2012) [Buchbeitrag, Beitrag zu einem Tagungsband]

Runtime Verification (RV 2011)
Seite(n): 131-146

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-221313