h1

h2

h3

h4

h5
h6
TY  - THES
AU  - Geißler, Dominik
TI  - Automata-based semantics for the probabilistic programming language ReDiP
PB  - RWTH Aachen University
VL  - Masterarbeit
CY  - Aachen
M1  - RWTH-2025-03289
SP  - 1 Online-Ressource : Illustrationen
PY  - 2025
N1  - Veröffentlicht auf dem Publikationsserver der RWTH Aachen University
N1  - Masterarbeit, RWTH Aachen University, 2025
LB  - PUB:(DE-HGF)19
DO  - DOI:10.18154/RWTH-2025-03289
UR  - https://publications.rwth-aachen.de/record/1008978
ER  -