View of Formalization and Model Checking of BPMN Collaboration Diagrams with DD-LOTOS

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