%0 Journal Article %1 journals/cj/VerbeekBA01 %A Verbeek, H. M. W. %A Basten, Twan %A van der Aalst, Wil M. P. %D 2001 %J Comput. J. %K dblp %N 4 %P 246-279 %T Diagnosing Workflow Processes using Woflan. %U http://dblp.uni-trier.de/db/journals/cj/cj44.html#VerbeekBA01 %V 44

@article{journals/cj/VerbeekBA01, added-at = {2019-07-15T00:00:00.000+0200}, author = {Verbeek, H. M. W. and Basten, Twan and van der Aalst, Wil M. P.}, biburl = {https://www.bibsonomy.org/bibtex/2a4f3a1175d2b19fe6c6f3aedb200b291/dblp}, ee = {https://www.wikidata.org/entity/Q57006147}, interhash = {8e84b7c268d3a9832ef9e32515f8c8dd}, intrahash = {a4f3a1175d2b19fe6c6f3aedb200b291}, journal = {Comput. J.}, keywords = {dblp}, number = 4, pages = {246-279}, timestamp = {2019-07-16T11:38:23.000+0200}, title = {Diagnosing Workflow Processes using Woflan.}, url = {http://dblp.uni-trier.de/db/journals/cj/cj44.html#VerbeekBA01}, volume = 44, year = 2001 }