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{Akinlaja:1030347,
      author       = {Akinlaja, Samuel},
      othercontributors = {Katoen, Joost-Pieter and Noll, Thomas and Zilken, Daniel
                          Johannes},
      title        = {{W}hich probabalistic programs are modelcheckable?},
      school       = {Rheinisch-Westfälische Technische Hochschule Aachen},
      type         = {Bachelorarbeit},
      address      = {Aachen},
      reportid     = {RWTH-2026-02946},
      year         = {2026},
      note         = {Bachelorarbeit, Rheinisch-Westfälische Technische
                      Hochschule Aachen, 2026},
      ddc          = {004},
      typ          = {PUB:(DE-HGF)2},
      url          = {https://publications.rwth-aachen.de/record/1030347},
}