Auflistung nach Autor:in "Tautschnig, Michael"
1 - 1 von 1
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragReusing information in multi-goal reachability analyses(Software Engineering 2014, 2014) Beyer, Dirk; Holzer, Andreas; Tautschnig, Michael; Veith, Helmut