VBPMN: Automated Verification of BPMN Processes (Tool Paper).

Ajay Krishna, Pascal Poizat, Gwen Salan

Browse the full IFM paper archive.