h1

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

@INBOOK{Abraham:1030002,
      author       = {Abraham, Erika and Jansen, Nils and Jantsch, Simon},
      title        = {{P}robabilistic {C}ounterexamples {T}hrough the {A}ges},
      volume       = {15760},
      address      = {Cham},
      publisher    = {Springer Nature Switzerland},
      reportid     = {RWTH-2026-02698},
      series       = {Lecture Notes in Computer Science},
      pages        = {174-196},
      year         = {2026},
      note         = {First Online: 30 August 2025},
      comment      = {Principles of Formal Quantitative Analysis: Essays
                      Dedicated to Christel Baier on the Occasion of Her 60th
                      Birthday / edited by Nathalie Bertrand, Clemens Dubslaff,
                      Sascha Klüppelholz},
      booktitle     = {Principles of Formal Quantitative
                       Analysis: Essays Dedicated to Christel
                       Baier on the Occasion of Her 60th
                       Birthday / edited by Nathalie Bertrand,
                       Clemens Dubslaff, Sascha Klüppelholz},
      cin          = {123420},
      cid          = {$I:(DE-82)123420_20140620$},
      typ          = {PUB:(DE-HGF)7},
      doi          = {10.1007/978-3-031-97439-7_8},
      url          = {https://publications.rwth-aachen.de/record/1030002},
}