Quotation 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.


RIS


BibTeX

Tags

Press 'enter' for creating the tag

Publication'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
Applied Information Technology with Focus on IT in Organization (Details)
Google Scholar: Search