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.
Abstract is missing.