Auflistung nach Autor:in "Loitzenbauer, Veronika"
1 - 1 von 1
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragImproved Algorithms and Conditional Lower Bounds for Problems in Formal Verification and Reactive Synthesis(Ausgezeichnete Informatikdissertationen 2017, 2018) Loitzenbauer, Veronika