h1

h2

h3

h4

h5
h6
% IMPORTANT: The following is UTF-8 encoded.  This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.

@MASTERSTHESIS{Geiler:1008978,
      author       = {Geißler, Dominik},
      othercontributors = {Katoen, Joost-Pieter and Noll, Thomas and Winkler, Tobias},
      title        = {{A}utomata-based semantics for the probabilistic
                      programming language {R}e{D}i{P}},
      school       = {RWTH Aachen University},
      type         = {Masterarbeit},
      address      = {Aachen},
      publisher    = {RWTH Aachen University},
      reportid     = {RWTH-2025-03289},
      pages        = {1 Online-Ressource : Illustrationen},
      year         = {2025},
      note         = {Veröffentlicht auf dem Publikationsserver der RWTH Aachen
                      University; Masterarbeit, RWTH Aachen University, 2025},
      cin          = {121310 / 120000},
      ddc          = {004},
      cid          = {$I:(DE-82)121310_20140620$ / $I:(DE-82)120000_20140620$},
      typ          = {PUB:(DE-HGF)19},
      doi          = {10.18154/RWTH-2025-03289},
      url          = {https://publications.rwth-aachen.de/record/1008978},
}