Thomas Prinz. Fast Soundness Verification of Workflow Graphs. In Oliver Kopp, Niels Lohmann, editors, th Central-European Workshop on Services and their Composition, Rostock, Germany, February 21-22, 2013. Volume 1029 of CEUR Workshop Proceedings, pages 32-40, CEUR-WS.org, 2013. [doi]
Abstract is missing.