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

Jan Mendling, Wil M. P. van der Aalst

Publication: Chapter in book/Conference proceeding › Contribution to conference proceedings

Original language	English
Title of host publication	Advanced Information Systems Egineering, 19th International Conference, CAiSE 2007. Lecture Notes in Computer Science 4495
Editors	John Krogstie, Andreas L. Opdahl, Guttorm Sindre
Place of Publication	Trondheim, Norway
Publisher	Springer
Pages	439 - 453
ISBN (Print)	978-3-540-72987-7
Publication status	Published - 1 Dec 2007

Check availability

@inproceedings{eebacfcc2d4c48c7b0ef632d8ae6a8dd,

title = "Formalization and Verification of EPCs with OR-Joins Based on State and Context",

author = "Jan Mendling and {M. P. van der Aalst}, Wil",

year = "2007",

month = dec,

day = "1",

language = "English",

isbn = "978-3-540-72987-7",

pages = "439 -- 453",

editor = "{John Krogstie, Andreas L. Opdahl, Guttorm Sindre}",

booktitle = "Advanced Information Systems Egineering, 19th International Conference, CAiSE 2007. Lecture Notes in Computer Science 4495",

publisher = "Springer",

address = "Germany",

}

Formalization and Verification of EPCs with OR-Joins Based on State and Context. / Mendling, Jan; M. P. van der Aalst, Wil.
Advanced Information Systems Egineering, 19th International Conference, CAiSE 2007. Lecture Notes in Computer Science 4495. ed. / John Krogstie, Andreas L. Opdahl, Guttorm Sindre. Trondheim, Norway: Springer, 2007. p. 439 - 453.

Publication: Chapter in book/Conference proceeding › Contribution to conference proceedings

TY - GEN

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

AU - Mendling, Jan

AU - M. P. van der Aalst, Wil

PY - 2007/12/1

Y1 - 2007/12/1

UR - http://www.mendling.com/publications/07-CAISE.pdf

M3 - Contribution to conference proceedings

SN - 978-3-540-72987-7

SP - 439

EP - 453

BT - Advanced Information Systems Egineering, 19th International Conference, CAiSE 2007. Lecture Notes in Computer Science 4495

A2 - John Krogstie, Andreas L. Opdahl, Guttorm Sindre, null

PB - Springer

CY - Trondheim, Norway

ER -