Veronika Loitzenbauer. Verbesserte Algorithmen und Bedingte Untere Schranken für Probleme in Formaler Verifikation und Reaktiver Synthese. In Steffen Hölldobler, editor, Ausgezeichnete Informatikdissertationen 2017. Volume D-18 of LNI, pages 141-150, GI, 2017.
@inproceedings{Loitzenbauer17,
title = {Verbesserte Algorithmen und Bedingte Untere Schranken für Probleme in Formaler Verifikation und Reaktiver Synthese},
author = {Veronika Loitzenbauer},
year = {2017},
researchr = {https://researchr.org/publication/Loitzenbauer17},
cites = {0},
citedby = {0},
pages = {141-150},
booktitle = {Ausgezeichnete Informatikdissertationen 2017},
editor = {Steffen Hölldobler},
volume = {D-18},
series = {LNI},
publisher = {GI},
isbn = {978-3-88579-977-1},
}