Suchergebnis

zu den Filteroptionen
Suche nach: Autor / Beteiligte = Veith, Helmut und Sammlung = UB Paderborn
  • Titelblatt
    Handbook of model checking
    Clarke, Edmund M. (Hrsg.) ; Henzinger, Thomas A. (Hrsg.) ; Veith, Helmut (Hrsg.) ; Bloem, Roderick (Hrsg.)
    Cham : Springer, 2018