A Refinement based Verification Approach of BPMN Models using NuSMV.

Salma Ayari, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed

Browse the full ICSoft paper archive.