Ellis Solaiman, Wenzhong Sun, Carlos Molina-Jiménez. A Tool for the Automatic Verification of BPMN Choreographies. In 2015 IEEE International Conference on Services Computing, SCC 2015, New York City, NY, USA, June 27 - July 2, 2015. pages 728-735, IEEE, 2015. [doi]
Abstract is missing.