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”.

@BOOK{Jansen:996990,
      key          = {996990},
      editor       = {Jansen, Nils and Junges, Sebastian and Kaminski, Benjamin
                      Lucien and Matheja, Christoph and Noll, Thomas and Quatmann,
                      Tim and Stoelinga, Mariëlle and Volk, Matthias},
      othercontributors = {Katoen, Joost-Pieter},
      title        = {{P}rinciples of verification: cycling the probabilistic
                      landscape : essays dedicated to {J}oost-{P}ieter {K}atoen on
                      the occasion of his 60th {B}irthday, {P}art 3},
      volume       = {15262},
      address      = {Cham},
      publisher    = {Springer},
      reportid     = {RWTH-2024-10970},
      isbn         = {978-3-031-75777-8},
      series       = {Lecture notes in computer science},
      pages        = {xv, 503 Seiten : Illustrationen, Diagramme},
      year         = {2025},
      cin          = {121310 / 120000},
      ddc          = {004.0151},
      cid          = {$I:(DE-82)121310_20140620$ / $I:(DE-82)120000_20140620$},
      typ          = {PUB:(DE-HGF)3},
      doi          = {10.1007/978-3-031-75778-5},
      url          = {https://publications.rwth-aachen.de/record/996990},
}