Abstraction Refinement for Large Scale Model Checking
Wang, Chao ; Hachtel, Gary D. ; Somenzi, Fabio 2006 Springer International Publishing
- Kaufen
-
Jetzt kaufen bei
- Link zu diesem Datensatz
- https://d-nb.info/1185337555
- Titel
- Abstraction Refinement for Large Scale Model Checking
- Art des Inhalts
- Monographie
- Autor(en)
- Verlag
- Cham : Springer International Publishing [2006]
- Jahr
- Erscheinungsdatum: 2006
- Umfang/Format
- Online-Ressource
- ISBN/Einband/Preis
9780387346007- DOI
- 10.1007/0-387-34600-7
- Online
- https://doi.org/10.1007/0-387-34600-7
- Sprache
- eng
- Stand
- 09.03.2025 17:03
- Im Katalog seit
- 07.03.2026