Runtime Verification of LTL-Based Declarative Process Models.

Fabrizio Maria Maggi, Michael Westergaard, Marco Montali, Wil M. P. van der Aalst

Browse the full RV paper archive.