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]
@inproceedings{BrumbulliGB19,
title = {Verification of BPMN Models},
author = {Mihal Brumbulli and Emmanuel Gaudin and Frédéric Berre},
year = {2019},
doi = {10.1007/978-3-030-34843-4_3},
url = {https://doi.org/10.1007/978-3-030-34843-4_3},
researchr = {https://researchr.org/publication/BrumbulliGB19},
cites = {0},
citedby = {0},
pages = {27-36},
booktitle = {Proceedings of the Tenth International Conference on Complex Systems Design & Management, CSD&M 2019, Paris, France, December 12-13, 2019},
editor = {Guy André Boy and Alan Guegan and Daniel Krob and Vincent Vion},
publisher = {Springer},
isbn = {978-3-030-34843-4},
}