Return to Article Details
Formalization and Model Checking of BPMN Collaboration Diagrams with DD-LOTOS
Download
Download PDF