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{Willemsen:1004311,
      author       = {Willemsen, Lisa and Remke, Anne and Ábrahám, Erika},
      title        = {(de-){C}omposed {A}nd {M}ore: {E}ager and {L}azy
                      {S}pecifications ({CAMELS}) for {S}tochastic {H}ybrid
                      {S}ystems},
      volume       = {15262},
      address      = {Cham},
      publisher    = {Springer},
      reportid     = {RWTH-2025-01354},
      series       = {Lecture notes in computer science},
      pages        = {309-337},
      year         = {2025},
      comment      = {Principles of verification: cycling the probabilistic
                      landscape : essays dedicated to Joost-Pieter Katoen on the
                      occasion of his 60th Birthday : part III / Nils Jansen,
                      Sebastian Junges, Benjamin Lucien Kaminski, Christoph
                      Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga,
                      Matthias Volk, editors},
      booktitle     = {Principles of verification: cycling
                       the probabilistic landscape : essays
                       dedicated to Joost-Pieter Katoen on the
                       occasion of his 60th Birthday : part
                       III / Nils Jansen, Sebastian Junges,
                       Benjamin Lucien Kaminski, Christoph
                       Matheja, Thomas Noll, Tim Quatmann,
                       Mariëlle Stoelinga, Matthias Volk,
                       editors},
      cin          = {123420 / 120000},
      cid          = {$I:(DE-82)123420_20140620$ / $I:(DE-82)120000_20140620$},
      typ          = {PUB:(DE-HGF)7},
      doi          = {10.1007/978-3-031-75778-5_15},
      url          = {https://publications.rwth-aachen.de/record/1004311},
}