Model checking hierarchical structures
Lohrey, Markus 2005 Universitätsbibliothek der Universität Stuttgart
- Link zu diesem Datensatz
-
https://d-nb.info/1036874451
- Titel
-
Model checking hierarchical structures
- Art des Inhalts
- Monographie
- Verfassangaben
- Markus Lohrey
- Autor
-
Lohrey, Markus
- Verlag
- Stuttgart : Universitätsbibliothek der Universität Stuttgart [2005]
- Jahr
- Erscheinungsdatum: 2005
- Umfang/Format
- Online-Ressource
- Online
- https://nbn-resolving.org/urn:nbn:de:bsz:93-opus-22419
- Sprache
- eng
- Schlagwörter
-
- Stand
- 03.12.2017 11:35
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag
