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{Grohe:1006751,
      author       = {Grohe, Martin},
      title        = {{S}ome {T}houghts on {G}raph {S}imilarity},
      volume       = {15260},
      address      = {Cham},
      publisher    = {Springer},
      reportid     = {RWTH-2025-02687},
      series       = {Lecture notes in computer science},
      pages        = {369-392},
      year         = {2025},
      note         = {First Online: 13 November 2024},
      comment      = {Principles of verification: cycling the probabilistic
                      landscape, Part 1 / 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, Part 1 /
                       Nils Jansen, Sebastian Junges, Benjamin
                       Lucien Kaminski, Christoph Matheja,
                       Thomas Noll, Tim Quatmann, Mariëlle
                       Stoelinga, Matthias Volk, editors},
      cin          = {122910 / 120000},
      cid          = {$I:(DE-82)122910_20140620$ / $I:(DE-82)120000_20140620$},
      typ          = {PUB:(DE-HGF)7},
      doi          = {10.1007/978-3-031-75783-9_15},
      url          = {https://publications.rwth-aachen.de/record/1006751},
}