Suchergebnis

zu den Filteroptionen
Suche nach: Schlagwort = Fuldatal <Stadt, 1989> 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