TY  - RPRT
TI  - An LTL Semantics of Business Workflows with Recovery
AU  - Luca Ferrucci
AU  - Marcello M. Bersani
AU  - Manuel Mazzara
PY  - 2014
UR  - https://arxiv.org/abs/1406.1395
ID  - 1406.1395
ER  -