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

Jan Mendling, Wil M. P. van der Aalst

Publikation: Beitrag in Buch/KonferenzbandBeitrag in Konferenzband

OriginalspracheEnglisch
Titel des SammelwerksAdvanced Information Systems Egineering, 19th International Conference, CAiSE 2007. Lecture Notes in Computer Science 4495
Herausgeber*innen John Krogstie, Andreas L. Opdahl, Guttorm Sindre
ErscheinungsortTrondheim, Norway
VerlagSpringer
Seiten439 - 453
ISBN (Print)978-3-540-72987-7
PublikationsstatusVeröffentlicht - 1 Dez. 2007

Zitat