TY  - RPRT
TI  - A Holistic Approach for Soundness Verification of Decision-Aware Process Models (extended version)
AU  - Massimiliano de Leoni
AU  - Paolo Felli
AU  - Marco Montali
PY  - 2018
UR  - https://arxiv.org/abs/1804.02316
ID  - 1804.02316
ER  -