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

@PROCEEDINGS{Chechik:990325,
      key          = {990325},
      editor       = {Chechik, Marsha and Katoen, Joost-Pieter and Leucker,
                      Martin},
      title        = {{F}ormal {M}ethods : 25th {I}nternational {S}ymposium, {FM}
                      2023, {L}übeck, {G}ermany, {M}arch 6-10, 2023 :
                      proceedings},
      volume       = {14000},
      address      = {Cham, Switzerland},
      publisher    = {Springer},
      reportid     = {RWTH-2024-07243},
      isbn         = {978-3-031-27480-0},
      series       = {Lecture notes in computer science},
      pages        = {xvi, 659 Seiten : Diagramme},
      year         = {2023},
      month         = {Mar},
      date          = {2023-03-06},
      organization  = {25. International Symposium on Formal
                       Methods, Lübeck (Germany), 6 Mar 2023
                       - 10 Mar 2023},
      cin          = {121310 / 080017 / 120000},
      cid          = {$I:(DE-82)121310_20140620$ / $I:(DE-82)080017_20140620$ /
                      $I:(DE-82)120000_20140620$},
      pnm          = {GRK 2236 - GRK 2236: Unsicherheit und Randomisierung in
                      Algorithmen, Verifikation und Logik. (282652900)},
      pid          = {G:(GEPRIS)282652900},
      typ          = {PUB:(DE-HGF)26 / PUB:(DE-HGF)3},
      doi          = {10.1007/978-3-031-27481-7},
      url          = {https://publications.rwth-aachen.de/record/990325},
}