Kristof Böhmer. Behavior Verication for Business Processes based on Testing and Anomaly Detection. In Wil M. P. van der Aalst, Fabio Casati, Raffaele Conforti, Massimiliano de Leoni, Marlon Dumas, Akhil Kumar 0001, Jan Mendling, Surya Nepal, Brian T. Pentland, Barbara Weber, editors, Proceedings of the Dissertation Award, Demonstration, and Industrial Track at BPM 2018 co-located with 16th International Conference on Business Process Management (BPM 2018), Sydney, Australia, September 9-14, 2018. Volume 2196 of CEUR Workshop Proceedings, pages 36-40, CEUR-WS.org, 2018. [doi]
Abstract is missing.