Explicit state space verification
Wolf, Karsten
- Link zu diesem Datensatz
- https://d-nb.info/969335849
- Titel
- Explicit state space verification
- Art des Inhalts
- Monographie
- Verfassangaben
- von Karsten Schmidt
- Autor
- Wolf, Karsten
- Zeitliche Einordnung
- Erscheinungsdatum: 2002
- Umfang/Format
- 14, 199 S.
- Online
- https://d-nb.info/969335849/04
- Sprache
- eng
- Schlagwörter
- Anmerkungen
- Berlin, Humboldt-Univ., Habil.-Schr., 2002 (Nicht für den Austausch)
- Stand
- 30.06.2024 07:22
- Im Katalog seit
- 06.03.2026