%0 Conference Paper %1 conf/apn/Aalst97 %A van der Aalst, Wil M. P. %B ICATPN %D 1997 %E Azéma, Pierre %E Balbo, Gianfranco %I Springer %K dblp %P 407-426 %T Verification of Workflow Nets. %U http://dblp.uni-trier.de/db/conf/apn/icatpn97.html#Aalst97 %V 1248 %@ 3-540-63139-9

@inproceedings{conf/apn/Aalst97, added-at = {2018-11-14T00:00:00.000+0100}, author = {van der Aalst, Wil M. P.}, biburl = {https://www.bibsonomy.org/bibtex/25f5d18c443ff6d29e87d25d96e43b3c6/dblp}, booktitle = {ICATPN}, crossref = {conf/apn/1997}, editor = {Azéma, Pierre and Balbo, Gianfranco}, ee = {https://www.wikidata.org/entity/Q57006217}, interhash = {c1bc5cc72d9e0ef043baefaf623efaa4}, intrahash = {5f5d18c443ff6d29e87d25d96e43b3c6}, isbn = {3-540-63139-9}, keywords = {dblp}, pages = {407-426}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:59:50.000+0200}, title = {Verification of Workflow Nets.}, url = {http://dblp.uni-trier.de/db/conf/apn/icatpn97.html#Aalst97}, volume = 1248, year = 1997 }