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{brahm:753093,
      key          = {753093},
      editor       = {Ábrahám, Erika and Tarifa, Silvia Lizeth Taipa},
      title        = {{P}roceedings of the {P}h{D} {S}ymposium at i{FM}'18 on
                      {F}ormal {M}ethods: {A}lgorithms, {T}ools and {A}pplications
                      ({P}h{D}-i{FM}'18)},
      volume       = {483},
      reportid     = {RWTH-CONV-236485},
      isbn         = {978-82-7368-435-6},
      series       = {Research report / University of Oslo},
      year         = {2018},
      note         = {Zweitveröffentlicht auf dem Publikationsserver der RWTH
                      Aachen University 2019},
      month         = {Sep},
      date          = {2018-09-05},
      organization  = {14. International Conference on
                       integrated Formal Methods, Maynooth
                       (Ireland), 5 Sep 2018 - 7 Sep 2018},
      cin          = {121310 / 120000},
      cid          = {$I:(DE-82)121310_20140620$ / $I:(DE-82)120000_20140620$},
      typ          = {PUB:(DE-HGF)26 / PUB:(DE-HGF)3},
      doi          = {10.18154/RWTH-CONV-236485},
      url          = {https://publications.rwth-aachen.de/record/753093},
}