Runtime Verification of LTL-Based Declarative Process Models

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

Springer (2012)
Contribution to a book, Contribution to a conference proceedings

In: Runtime Verification (RV 2011)
Page(s)/Article-Nr.: 131-146

Identifier