Treffer: Compositional control-flow reduction for probabilistic model checking
Titel:
Compositional control-flow reduction for probabilistic model checking / Naomi Barth, Tobias Winkler ; Joost-Pieter Katoen, Thomas Noll
Beteiligt:
Veröffentlicht:
Aachen : Universitätsbibliothek der RWTH Aachen, 2024
Umfang:
1 Online-Ressource
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Aachen. RWTH Aachen University, 2024
Hochschulschrift:
Bachelorarbeit, RWTH Aachen University, 2021
DOI:
10.18154/RWTH-2024-02596