TY  - RPRT
TI  - Instantaneous, Comprehensible, and Fixable Soundness Checking of Realistic BPMN Models
AU  - Tim Kräuter
AU  - Patrick Stünkel
AU  - Adrian Rutle
AU  - Harald König
AU  - Yngve Lamo
PY  - 2024
UR  - https://arxiv.org/abs/2407.03965
ID  - 2407.03965
ER  -