Mihal Brumbulli, Emmanuel Gaudin, Frédéric Berre. Verification of BPMN Models. In Guy André Boy, Alan Guegan, Daniel Krob, Vincent Vion, editors, Proceedings of the Tenth International Conference on Complex Systems Design & Management, CSD&M 2019, Paris, France, December 12-13, 2019. pages 27-36, Springer, 2019. [doi]
Abstract is missing.