%0 Conference Paper %1 conf/sigsand/MendlingA08 %A Mendling, Jan %A van der Aalst, Wil M. P. %B SIGSAND-EUROPE %D 2008 %E Hesse, Wolfgang %E Oberweis, Andreas %I GI %K dblp %P 129-142 %T Advanced Reduction Rules for the Verification of EPC Business Process Models. %U http://dblp.uni-trier.de/db/conf/sigsand/sigsand2008.html#MendlingA08 %V P-129 %@ 978-3-88579-223-9

@inproceedings{conf/sigsand/MendlingA08, added-at = {2023-07-04T00:00:00.000+0200}, author = {Mendling, Jan and van der Aalst, Wil M. P.}, biburl = {https://www.bibsonomy.org/bibtex/2b05bd9c4fb02e2251509e04bed15174e/dblp}, booktitle = {SIGSAND-EUROPE}, crossref = {conf/sigsand/2008}, editor = {Hesse, Wolfgang and Oberweis, Andreas}, ee = {http://subs.emis.de/LNI/Proceedings/Proceedings129/article5041.html}, interhash = {6d075b0e6c4ff11808b12658e2a91b31}, intrahash = {b05bd9c4fb02e2251509e04bed15174e}, isbn = {978-3-88579-223-9}, keywords = {dblp}, pages = {129-142}, publisher = {GI}, series = {LNI}, timestamp = {2024-04-09T17:57:55.000+0200}, title = {Advanced Reduction Rules for the Verification of EPC Business Process Models.}, url = {http://dblp.uni-trier.de/db/conf/sigsand/sigsand2008.html#MendlingA08}, volume = {P-129}, year = 2008 }