%0 Journal Article %1 soundness-FACS %A Aalst, W.M.P. van der %A Hee, K.M. van %A Hofstede, A.H.M. ter %A Sidorova, N. %A Verbeek, H.M.W. %A Voorhoeve, M. %A Wynn, M.T. %D 2011 %J Formal Aspects of Computing %K BPM collection imported %N 3 %P 333--363 %T Soundness of Workflow Nets: Classification, Decidability, and Analysis %V 23

@article{soundness-FACS, added-at = {2012-11-22T19:17:38.000+0100}, author = {Aalst, {W.M.P. van der} and Hee, {K.M. van} and Hofstede, {A.H.M. ter} and Sidorova, N. and Verbeek, H.M.W. and Voorhoeve, M. and Wynn, M.T.}, biburl = {https://www.bibsonomy.org/bibtex/23441bb925892f6879d10bed46778a89e/wvdaalst}, interhash = {9b534ed75d3f299d9faec962ce606eba}, intrahash = {3441bb925892f6879d10bed46778a89e}, journal = {Formal Aspects of Computing}, keywords = {BPM collection imported}, number = 3, pages = {333--363}, timestamp = {2012-11-22T19:22:06.000+0100}, title = {{Soundness of Workflow Nets: Classification, Decidability, and Analysis}}, volume = 23, year = 2011 }