Oussama Mohammed Kherbouche, Adeel Ahmad, Henri Basson. Using model checking to control the structural errors in BPMN models. In Roel Wieringa, Selmin Nurcan, Colette Rolland, Jean-Louis Cavarero, editors, IEEE 7th International Conference on Research Challenges in Information Science, RCIS 2013, Paris, France, May 29-31, 2013. pages 1-12, IEEE, 2013. [doi]
Abstract is missing.