Salma Ayari, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed. A Refinement based Verification Approach of BPMN Models using NuSMV. In Leszek A. Maciaszek, Marten van Sinderen, editors, Proceedings of the 13th International Conference on Software Technologies, ICSOFT 2018, Porto, Portugal, July 26-28, 2018. pages 563-574, SciTePress, 2018. [doi]
Abstract is missing.