Damiano Falcioni, Andrea Polini, Alberto Polzonetti, Barbara Re. Direct Verification of BPMN Processes through an Optimized Unfolding Technique. In Antony Tang, Henry Muccini, editors, 2012 12th International Conference on Quality Software, Xi'an, Shaanxi, China, August 27-29, 2012. pages 179-188, IEEE, 2012. [doi]
Abstract is missing.