Verbesserte Algorithmen und Bedingte Untere Schranken für Probleme in Formaler Verifikation und Reaktiver Synthese

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

Abstract is missing.