Compositional control-flow reduction for probabilistic model checking
Barth, Naomi ; Winkler, Tobias ; Katoen, Joost-Pieter ; Noll, Thomas 2024 Universitätsbibliothek der RWTH Aachen
- Link zu diesem Datensatz
-
https://d-nb.info/1324752939
- Titel
-
Compositional control-flow reduction for probabilistic model checking
- Art des Inhalts
- Monographie
- Verfassangaben
- Naomi Barth, Tobias Winkler ; Joost-Pieter Katoen, Thomas Noll
- Autor(en)
-
- Barth, Naomi
- Winkler, Tobias
- Katoen, Joost-Pieter
- Noll, Thomas
- Verlag
- Aachen : Universitätsbibliothek der RWTH Aachen [2024]
- Jahr
- Erscheinungsdatum: 2024
- Umfang/Format
- Online-Ressource
- DOI
- 10.18154/RWTH-2024-02596
- Online
- https://doi.org/10.18154/RWTH-2024-02596
- Sprache
- eng
- Stand
- 18.11.2025 12:07
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag
