Kristof Böhmer. Behavior Verification for Business Processes based on Testing and Anomaly Detection. In Sven Apel, Abraham Bernstein, Felix Freiling, Steffen Hölldobler, Hans-Peter Lenhof, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Björn Scheuermann 0001, Nicole Schweikardt, Myra Spiliopoulou, Sabine Süsstrunk, Klaus Wehrle, editors, Ausgezeichnete Informatikdissertationen 2018. Volume D-19 of LNI, pages 31-40, GI, 2018. [doi]
Abstract is missing.