Model Checking at IBM
Ben-David, Shoham ; Eisner, Cindy ; Geist, Daniel ; Wolfsthal, Yaron
- Link zu diesem Datensatz
- https://d-nb.info/1295440253
- Titel
- Model Checking at IBM
- Art des Inhalts
- Teil eines Werks
- Verfassangaben
- by Shoham Ben-David, Cindy Eisner, Daniel Geist, Yaron Wolfsthal
- Autor(en)
-
- Ben-David, Shoham
- Eisner, Cindy
- Geist, Daniel
- Wolfsthal, Yaron
- Organisation(en)
-
- SpringerLink (Online service)
- Zeitliche Einordnung
- Erscheinungsdatum: 2003
- Umfang/Format
- Online-Ressource
- DOI
- 10.1023/A:1022905120346
- Online
- https://doi.org/10.1023/A:1022905120346
- Sprache
- eng
- Schlagwörter
- Frühere/spätere Titel
-
- Enthalten in: Formal methods in system design
- Enthalten in: Formal methods in system design
- Enthalten in: Formal methods in system design
- Stand
- 10.07.2023 18:19
- Im Katalog seit
- 07.03.2026