Heerko Groefsema, Nick van Beest, Abel Armas-Cervantes. Automated Compliance Verification of Business Processes in Apromore. In Robert Clarisó, Henrik Leopold, Jan Mendling, Wil M. P. van der Aalst, Akhil Kumar 0001, Brian T. Pentland, Mathias Weske, editors, Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Modeling (BPM 2017), Barcelona, Spain, September 13, 2017. Volume 1920 of CEUR Workshop Proceedings, CEUR-WS.org, 2017.
Abstract is missing.