%0 Conference Paper %1 conf/bpm/Aalst00 %A van der Aalst, Wil M. P. %B Business Process Management %D 2000 %E van der Aalst, Wil M. P. %E Desel, Jörg %E Oberweis, Andreas %I Springer %K dblp %P 161-183 %T Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques. %U http://dblp.uni-trier.de/db/conf/bpm/bpm2000.html#Aalst00 %V 1806 %@ 3-540-67454-3

@inproceedings{conf/bpm/Aalst00, added-at = {2020-12-29T00:00:00.000+0100}, author = {van der Aalst, Wil M. P.}, biburl = {https://www.bibsonomy.org/bibtex/27a845166c0c0825f5c40447a1bd3dd53/dblp}, booktitle = {Business Process Management}, crossref = {conf/bpm/2000}, editor = {van der Aalst, Wil M. P. and Desel, Jörg and Oberweis, Andreas}, ee = {https://doi.org/10.1007/3-540-45594-9_11}, interhash = {f6fce5dfe192c5d22e80bd1c432f2051}, intrahash = {7a845166c0c0825f5c40447a1bd3dd53}, isbn = {3-540-67454-3}, keywords = {dblp}, pages = {161-183}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T16:22:28.000+0200}, title = {Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques.}, url = {http://dblp.uni-trier.de/db/conf/bpm/bpm2000.html#Aalst00}, volume = 1806, year = 2000 }