Reduction methods for probabilistic model checking
Größer, Marcus Thomas
- Link zu diesem Datensatz
-
https://d-nb.info/991169859
- Titel
-
Reduction methods for probabilistic model checking
- Art des Inhalts
- Monographie
- Verfassangaben
- eingereicht von Marcus Thomas Größer
- Autor
-
Größer, Marcus Thomas
- Zeitliche Einordnung
- Erscheinungsdatum: 2008
- Umfang/Format
- VIII, 123 S.
- Online
- https://d-nb.info/991169859/04
- Sprache
- eng
- Anmerkungen
-
Dresden, Techn. Univ., Diss., 2008
- Stand
- 02.12.2017 08:32
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag
← Zurück zur Startseite