Juan Carlos Polanco Aguilar

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 1

Top Topics

Formal Specification

Binary Decision Diagrams

Business Process

Top Venues

Publications

Juan Carlos Polanco Aguilar, Koji Hasebe, Manuel Mazzara, Kazuhiko Kato
Model Checking of BPMN Models for Reconfigurable Workflows. CoRR (2016)