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

@INPROCEEDINGS{Spork:1021248,
      author       = {Spork, Timm and Baier, Christel and Katoen, Joost-Pieter
                      and Klüppelholz, Sascha and Piribauer, Jakob},
      title        = {{A}pproximate {P}robabilistic {B}isimulation for
                      {C}ontinuous-{T}ime {M}arkov {C}hains},
      volume       = {15932},
      address      = {Cham},
      publisher    = {Springer Nature Switzerland},
      reportid     = {RWTH-2025-09529},
      series       = {Lecture Notes in Computer Science},
      pages        = {56-81},
      year         = {2025},
      comment      = {Computer Aided Verification : 37th International
                      Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025,
                      Proceedings, Part II},
      booktitle     = {Computer Aided Verification : 37th
                       International Conference, CAV 2025,
                       Zagreb, Croatia, July 23-25, 2025,
                       Proceedings, Part II},
      month         = {Jul},
      date          = {2025-07-23},
      organization  = {37. International Conference on
                       Computer Aided Verification-CAV-Annual,
                       Zagreb (Croatia), 23 Jul 2025 - 25 Jul
                       2025},
      cin          = {121310 / 120000},
      cid          = {$I:(DE-82)121310_20140620$ / $I:(DE-82)120000_20140620$},
      typ          = {PUB:(DE-HGF)7 / PUB:(DE-HGF)8},
      UT           = {WOS:001562506600003},
      doi          = {10.1007/978-3-031-98679-6_3},
      url          = {https://publications.rwth-aachen.de/record/1021248},
}