Advanced Reduction Rules for the Verification of EPC Business Process Models

Jan Mendling, Wil M. P. van der Aalst

Publication: Chapter in book/Conference proceedingContribution to conference proceedings

Original languageEnglish
Title of host publicationSIGSAND-EUROPE 2008: Proceedings of the Third AIS SIGSAND European Symposium on Analysis, Design, Use and Societal Impact of Information Systems, June 12 - 13, 2008, Marburg,Germany
Editors Wolfgang Hesse, Andreas Oberweis
Place of PublicationLecture Notes in Informatics, Volume 129
PublisherGesellschaft für Informatik, Bonn
Pages129 - 140
ISBN (Print)978-3-88579-223-9
Publication statusPublished - 1 Dec 2008

Cite this