%0 Conference Paper %1 AalstWilM.P.vander.2000 %A Aalst,, Wil M. P. van der, %B Business Process Management, Models, Techniques, and Empirical Studies %C London and UK %D 2000 %I Springer-Verlag %K Informatik %P 161–183 %T Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques

@inproceedings{AalstWilM.P.vander.2000, added-at = {2013-10-18T15:39:19.000+0200}, address = {London and UK}, author = {{Aalst,, Wil M. P. van der}}, biburl = {https://www.bibsonomy.org/bibtex/2a7d07184c5dcafb4e40d9dbdb8c37254/hlackner}, booktitle = {Business Process Management, Models, Techniques, and Empirical Studies}, interhash = {f6fce5dfe192c5d22e80bd1c432f2051}, intrahash = {a7d07184c5dcafb4e40d9dbdb8c37254}, keywords = {Informatik}, pages = {161–183}, publisher = {Springer-Verlag}, timestamp = {2013-10-18T15:39:19.000+0200}, title = {Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques}, year = 2000 }