h1

h2

h3

h4

h5
h6
%0 Thesis
%A Barth, Naomi
%T Compositional control-flow reduction for probabilistic model checking
%I RWTH Aachen University
%V Bachelorarbeit
%C Aachen
%M RWTH-2024-02596
%P 1 Online-Ressource: Illustrationen
%D 2024
%Z Veröffentlicht auf dem Publikationsserver der RWTH Aachen University
%Z Bachelorarbeit, RWTH Aachen University, 2021
%F PUB:(DE-HGF)2
%9 Bachelor Thesis
%R 10.18154/RWTH-2024-02596
%U https://publications.rwth-aachen.de/record/980852