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]
@incollection{Bohmer18-0,
title = {Behavior Verification for Business Processes based on Testing and Anomaly Detection},
author = {Kristof Böhmer},
year = {2018},
url = {https://dl.gi.de/20.500.12116/36746},
researchr = {https://researchr.org/publication/Bohmer18-0},
cites = {0},
citedby = {0},
pages = {31-40},
booktitle = {Ausgezeichnete Informatikdissertationen 2018},
editor = {Sven Apel and Abraham Bernstein and Felix Freiling and Steffen Hölldobler and Hans-Peter Lenhof and Paul Molitor and Gustaf Neumann and Rüdiger Reischuk and Björn Scheuermann 0001 and Nicole Schweikardt and Myra Spiliopoulou and Sabine Süsstrunk and Klaus Wehrle},
volume = {D-19},
series = {LNI},
publisher = {GI},
isbn = {978-3-88579-977-1},
}