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.

Authors

Veronika Loitzenbauer

This author has not been identified. Look up 'Veronika Loitzenbauer' in Google