h1

h2

h3

h4

h5
h6
%0 Thesis
%A Geißler, Dominik
%T Automata-based semantics for the probabilistic programming language ReDiP
%I RWTH Aachen University
%V Masterarbeit
%C Aachen
%M RWTH-2025-03289
%P 1 Online-Ressource : Illustrationen
%D 2025
%Z Veröffentlicht auf dem Publikationsserver der RWTH Aachen University
%Z Masterarbeit, RWTH Aachen University, 2025
%F PUB:(DE-HGF)19
%9 Master Thesis
%R 10.18154/RWTH-2025-03289
%U https://publications.rwth-aachen.de/record/1008978