@misc{indiciae3c605b23663e,
  title = {Model Checking of BPMN Models for Reconfigurable Workflows},
  author = {Juan Carlos Polanco Aguilar and Koji Hasebe and Manuel Mazzara and Kazuhiko Kato},
  year = {2016},
  url = {https://arxiv.org/abs/1607.00478},
  note = {Source identifier: 1607.00478}
}