%0 Journal Article %1 journals/fac/AalstHHSVVW11 %A van der Aalst, Wil M. P. %A van Hee, Kees M. %A ter Hofstede, Arthur H. M. %A Sidorova, Natalia %A Verbeek, H. M. W. %A Voorhoeve, Marc %A Wynn, Moe Thandar %D 2011 %J Formal Aspects Comput. %K dblp %N 3 %P 333-363 %T Soundness of workflow nets: classification, decidability, and analysis. %U http://dblp.uni-trier.de/db/journals/fac/fac23.html#AalstHHSVVW11 %V 23

@article{journals/fac/AalstHHSVVW11, added-at = {2022-10-02T00:00:00.000+0200}, author = {van der Aalst, Wil M. P. and van Hee, Kees M. and ter Hofstede, Arthur H. M. and Sidorova, Natalia and Verbeek, H. M. W. and Voorhoeve, Marc and Wynn, Moe Thandar}, biburl = {https://www.bibsonomy.org/bibtex/2dd0e4fe4b7cc0747719561a33ed7dd65/dblp}, ee = {https://www.wikidata.org/entity/Q57005245}, interhash = {9b534ed75d3f299d9faec962ce606eba}, intrahash = {dd0e4fe4b7cc0747719561a33ed7dd65}, journal = {Formal Aspects Comput.}, keywords = {dblp}, number = 3, pages = {333-363}, timestamp = {2024-04-09T05:37:43.000+0200}, title = {Soundness of workflow nets: classification, decidability, and analysis.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac23.html#AalstHHSVVW11}, volume = 23, year = 2011 }