Riccardo Cognini, Damiano Falcioni, Andrea Polini, Alberto Polzonetti, Barbara Re. HawkEye: a tool for collaborative business process modelling and verification. In Sung Y. Shin, José Carlos Maldonado, editors, Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013. pages 785-786, ACM, 2013. [doi]
Abstract is missing.