Suchergebnis

zu den Filteroptionen
Suche nach: Autor / Beteiligte = Wolff, Hans M. und Sammlung = UB Paderborn
  • Titelblatt
    Model checking
    Clarke, Edmund M. ; Grumberg, Orna ; Kröning, Daniel ; Peled, Doron ; Veith, Helmut
    second edition, Cambridge, MA ; London : The MIT Press, 2018