Jan Mendling, Wil M. P. van der Aalst. Advanced Reduction Rules for the Verification of EPC Business Process Models. In Wolfgang Hesse, Andreas Oberweis, editors, SIGSAND-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. Volume 129 of LNI, pages 129, GI, 2008.
Abstract is missing.