TY  - RPRT
TI  - LTL-based Verification of Reconfigurable Workflows
AU  - Manuel Mazzara
PY  - 2016
DO  - 10.12988/ams.2014.410816
UR  - https://arxiv.org/abs/1607.03649
ID  - 1607.03649
ER  -