@inproceedings{mci/Böhmer2019,
author = {Böhmer, Kristof},
title = {Behavior Verification for Business Processes based on Testing and Anomaly Detection},
booktitle = {Ausgezeichnete Informatikdissertationen 2018},
year = {2019},
editor = {Hölldobler, Steffen} ,
pages = { 31-40 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}