Formalization and Verification of EPCs with OR-Joins Based on State and Context

Mendling, J.; van der Aalst, Wil M. P.

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

In: Proceedings of the 19th InternationalConference on Advanced Information Systems Engineering (CAiSE'07)
Page(s)/Article-Nr.: 439-453


  • Department of Computer Science [120000]
  • Chair of Computer Science 9 (Process and Data Science) [122510]