Combining local and global model checking
Biere, Armin ; Clarke, Edmund M. ; Zhu, Yunshan 1998 Univ., Fak. für Informatik
- Link zu diesem Datensatz
-
https://d-nb.info/958590583
- Titel
-
Combining local and global model checking
- Art des Inhalts
- Monographie
- Verfassangaben
- Armin Biere ; Edmund M. Clarke ; Yunshan Zhu. Universität Karlsruhe, Fakultät für Informatik
- Autor(en)
-
- Biere, Armin
- Clarke, Edmund M.
- Zhu, Yunshan
- Verlag
- Karlsruhe : Univ., Fak. für Informatik [[1998]]
- Jahr
- Erscheinungsdatum: 1998
- Umfang/Format
- 13 S.
- Sprache
- ger
- Sachgruppe(n)
-
- Schlagwörter
-
- Stand
- 19.03.2025 17:13
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag
