Böhmer, KristofHölldobler, Steffen2021-07-012021-07-012019978-3-88579-977-1https://dl.gi.de/handle/20.500.12116/36746deBehavior Verification for Business Processes based on Testing and Anomaly DetectionText/Conference Paper