%0 Conference Paper %1 conf/caise/DongenAV05 %A van Dongen, Boudewijn F. %A van der Aalst, Wil M. P. %A Verbeek, H. M. W. %B CAiSE %D 2005 %E Pastor, Oscar %E e Cunha, João Falcão %I Springer %K dblp %P 372-386 %T Verification of EPCs: Using Reduction Rules and Petri Nets. %U http://dblp.uni-trier.de/db/conf/caise/caise2005.html#DongenAV05 %V 3520 %@ 3-540-26095-1

@inproceedings{conf/caise/DongenAV05, added-at = {2023-09-30T00:00:00.000+0200}, author = {van Dongen, Boudewijn F. and van der Aalst, Wil M. P. and Verbeek, H. M. W.}, biburl = {https://www.bibsonomy.org/bibtex/2c32dd855901e7e3272180cdeaeb16484/dblp}, booktitle = {CAiSE}, crossref = {conf/caise/2005}, editor = {Pastor, Oscar and e Cunha, João Falcão}, ee = {https://doi.org/10.1007/11431855_26}, interhash = {5cb30d37edfaf27292f7da52d8a8ac37}, intrahash = {c32dd855901e7e3272180cdeaeb16484}, isbn = {3-540-26095-1}, keywords = {dblp}, pages = {372-386}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T17:04:54.000+0200}, title = {Verification of EPCs: Using Reduction Rules and Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/caise/caise2005.html#DongenAV05}, volume = 3520, year = 2005 }