A tool for the automatic verification of BPMN choreographies /
Solaiman, Ellis,author.
Sun, Wenzhong,author.
Molina-Jimenez, Carlos,author.
University of Newcastle upon Tyne.School of Computing Science.
Title from cover.
"April 2015".
Includes bibliographic references.