Cédric Favre, Hagen Völzer. Symbolic Execution of Acyclic Workflow Graphs. In Richard Hull, Jan Mendling, Stefan Tai, editors, Business Process Management - 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings. Volume 6336 of Lecture Notes in Computer Science, pages 260-275, Springer, 2010. [doi]
Abstract is missing.