zum Inhalt
Schnellsuche:
Detailsuche
|
Home
|
Sammlung
|
Impressum
|
Suchergebnis
Suche verändern
Suchergebnis
zu den Filteroptionen
Suche nach:
Autor / Beteiligte = Henzinger, Thomas A. und Sammlung = UB Paderborn
Handbook of model checking
Clarke, Edmund M. (Hrsg.) ; Henzinger, Thomas A. (Hrsg.) ; Veith, Helmut (Hrsg.) ; Bloem, Roderick (Hrsg.)
Cham : Springer, 2018