Using model checking for system verification
Maidl, Monika
- Link zu diesem Datensatz
- https://d-nb.info/96111102X
- Titel
- Using model checking for system verification
- Art des Inhalts
- Monographie
- Verfassangaben
- vorgelegt von Monika Maidl
- Autor
- Maidl, Monika
- Zeitliche Einordnung
- Erscheinungsdatum: 2000
- Umfang/Format
- VIII, 204 S.
- Online
- https://d-nb.info/96111102X/04
- Sprache
- eng
- Sachgruppe(n)
- Schlagwörter
- Anmerkungen
- München, Univ., Diss., 2000
- Stand
- 05.10.2024 01:51
- Im Katalog seit
- 06.03.2026