Runtime verification of LTL-based declarative process models

F.M. Maggi, M. Westergaard, M. Montali, W.M.P. Aalst, van der

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

67 Citations (Scopus)
2 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Runtime verification of LTL-based declarative process models'. Together they form a unique fingerprint.

Computer Science