IC3 software model checking
Lange, Tim Felix ; Katoen, Joost-Pieter ; Weissenbacher, Georg ; Neuhäußer, Martin R. 2018 Universitätsbibliothek der RWTH Aachen
- Link zu diesem Datensatz
-
https://d-nb.info/1191188965
- Titel
-
IC3 software model checking
- Art des Inhalts
- Monographie
- Verfassangaben
- Tim Felix Lange ; Joost-Pieter Katoen, Georg Weissenbacher, Martin R. Neuhäußer
- Autor(en)
-
- Lange, Tim Felix
- Katoen, Joost-Pieter
- Weissenbacher, Georg
- Neuhäußer, Martin R.
- Verlag
- Aachen : Universitätsbibliothek der RWTH Aachen [2018]
- Jahr
- Erscheinungsdatum: 2018
- Umfang/Format
- Online-Ressource
- DOI
- 10.18154/RWTH-2019-01994
- Online
- https://doi.org/10.18154/RWTH-2019-01994
- Sprache
- eng
- Stand
- 24.12.2025 07:10
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag
