Mendling, Jan, M. P. van der Aalst, Wil. 2007. Formalization and Verification of EPCs with OR-Joins Based on State and Context. In Advanced Information Systems Egineering, 19th International Conference, CAiSE 2007. Lecture Notes in Computer Science 4495, Hrsg. John Krogstie, Andreas L. Opdahl, Guttorm Sindre, 439-453. Trondheim, Norway: Springer.
BibTeX
Tags
Press 'enter' for creating the tagPublication's profile
| Status of publication | Published |
|---|---|
| Affiliation | WU |
| Type of publication | Contribution to conference proceedings |
| Language | English |
| Title | Formalization and Verification of EPCs with OR-Joins Based on State and Context |
| Title of whole publication | Advanced Information Systems Egineering, 19th International Conference, CAiSE 2007. Lecture Notes in Computer Science 4495 |
| Editor | John Krogstie, Andreas L. Opdahl, Guttorm Sindre |
| Page from | 439 |
| Page to | 453 |
| Location | Trondheim, Norway |
| Publisher | Springer |
| Year | 2007 |
| ISBN | 978-3-540-72987-7 |
| URL | http://www.mendling.com/publications/07-CAISE.pdf |
Associations
- People
- Mendling, Jan (Details)
- External
- M. P. van der Aalst, Wil
- Organization
- Institute for Data, Process and Knowledge Management (AE Sabou) (Details)