Mendling, Jan. Forthcoming. Combining a Reachability Graph and a Reduction Rule Approach for Verification of EPCs. In Proceedings of the BPM Demonstration Program at the Fifth International Conference on Business Process Management (BPM'07. CEUR Workshop Proceedings Volume 272, Hrsg. Michael Adams, Shazia Wasim Sadiq, 24-27. Aachen, Germany: CEUR WS.
BibTeX
Tags
Press 'enter' for creating the tagPublication's profile
Affiliation | WU |
---|---|
Type of publication | Contribution to conference proceedings |
Language | English |
Title | Combining a Reachability Graph and a Reduction Rule Approach for Verification of EPCs |
Title of whole publication | Proceedings of the BPM Demonstration Program at the Fifth International Conference on Business Process Management (BPM'07. CEUR Workshop Proceedings Volume 272 |
Editor | Michael Adams, Shazia Wasim Sadiq |
Page from | 24 |
Page to | 27 |
Location | Aachen, Germany |
Publisher | CEUR WS |
Year | 2007 |
ISBN | ISSN-1613-0073 |
URL | http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-272/BPM07DemoProgramPaper4.pdf |
Associations
- People
- Mendling, Jan (Details)
- Organization
- Institute for Data, Process and Knowledge Management (AE Sabou) (Details)