Suchergebnis

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