TY  - RPRT
TI  - Model Checking of BPMN Models for Reconfigurable Workflows
AU  - Juan Carlos Polanco Aguilar
AU  - Koji Hasebe
AU  - Manuel Mazzara
AU  - Kazuhiko Kato
PY  - 2016
UR  - https://arxiv.org/abs/1607.00478
ID  - 1607.00478
ER  -