• IC3 software model checking
  • Bestand

Treffer: IC3 software model checking

Titel:
IC3 software model checking / Tim Felix Lange ; Joost-Pieter Katoen, Georg Weissenbacher, Martin R. Neuhäußer
Beteiligt:
Lange, Tim Felix (Verfasser) ; Katoen, Joost-Pieter (Akademischer Betreuer) ; Weissenbacher, Georg (Akademischer Betreuer); Neuhäußer, Martin R. (Akademischer Betreuer) 
Veröffent­licht:
Aachen : Universitätsbibliothek der RWTH Aachen, 2018
Umfang:
Online-Ressource
Format:
E-Book
Sprache:
Englisch
Hochschul­schrift:
Dissertation, RWTH Aachen University, 2018
Schlagworte:
DOI:
10.18154/RWTH-2019-01994

Zusatz-Informationen

Zusatz-Funktionen