A New Approach for the Verification of BPMN Models Using Refinement Patterns.

Salma Ayari, Yosra Ben Dali Hlaoui, Leila Jemni Ben Ayed

Browse the full COMPSAC paper archive.