@inproceedings{brumbulli:hal-02441878, TITLE = {{Automatic Verification of BPMN Models}}, AUTHOR = {Brumbulli, Mihal and Gaudin, Emmanuel and Teodorov, Ciprian}, URL = {https://hal.science/hal-02441878}, BOOKTITLE = {{10th European Congress on Embedded Real Time Software and Systems (ERTS 2020)}}, ADDRESS = {Toulouse, France}, YEAR = {2020}, MONTH = Jan, KEYWORDS = {BPMN ; Model Checking ; Verification}, PDF = {https://hal.science/hal-02441878/file/20200129_paper.pdf}, HAL_ID = {hal-02441878}, HAL_VERSION = {v1}, }