Advanced Reduction Rules for the Verification of EPC Business Process Models

Mendling, J.; van der Aalst, Wil M. P.

Gesellschaft für Informatik, Bonn (2008)
Contribution to a book, Contribution to a conference proceedings

In: Proceedings of the Third AIS SIGSAND European Symposium on Analysis, Design, Use and Societal Impact of Information Systems (SIGSAND-EUROPE 2008)
Page(s)/Article-Nr.: 129-140