Olga Thoss, Andreas Werner, Robert Kaiser, Reinhold Kröger. Unified Approach to Static and Runtime Verification. In Ralf H. Reussner, Anne Koziolek, Robert Heinrich, editors, 50. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2020 - Back to the Future, Karlsruhe, Germany, 28. September - 2. Oktober 2020. Volume P-307 of LNI, pages 995-1002, GI, 2020. [doi]
@inproceedings{ThossWKK20,
title = {Unified Approach to Static and Runtime Verification},
author = {Olga Thoss and Andreas Werner and Robert Kaiser and Reinhold Kröger},
year = {2020},
doi = {10.18420/inf2020_93},
url = {https://doi.org/10.18420/inf2020_93},
researchr = {https://researchr.org/publication/ThossWKK20},
cites = {0},
citedby = {0},
pages = {995-1002},
booktitle = {50. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2020 - Back to the Future, Karlsruhe, Germany, 28. September - 2. Oktober 2020},
editor = {Ralf H. Reussner and Anne Koziolek and Robert Heinrich},
volume = {P-307},
series = {LNI},
publisher = {GI},
isbn = {978-3-88579-701-2},
}