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{Schupp:767299,
      author       = {Schupp, Stefan and Ábrahám, Erika},
      title        = {{T}he {H}y{DRA} {T}ool : {A} {P}layground for the
                      {D}evelopment of {H}ybrid {S}ystems {R}eachability
                      {A}nalysis {M}ethods},
      volume       = {483},
      address      = {Oslo},
      publisher    = {Oslo University},
      reportid     = {RWTH-2019-08722},
      series       = {Research report},
      pages        = {2 Seiten},
      year         = {2018},
      comment      = {Proceedings of the PhD Symposium at iFM’18 on Formal
                      Methods: Algorithms, Tools and Applications (PhD-iFM’18) :
                      Research report 483, August 2018 / Erika Ábrahám and
                      Silvia Lizeth Tapia Tarifa (eds.)},
      booktitle     = {Proceedings of the PhD Symposium at
                       iFM’18 on Formal Methods: Algorithms,
                       Tools and Applications (PhD-iFM’18) :
                       Research report 483, August 2018 /
                       Erika Ábrahám and Silvia Lizeth Tapia
                       Tarifa (eds.)},
      month         = {Sep},
      date          = {2018-09-04},
      organization  = {PhD Symposium at iFM’18 on Formal
                       Methods, Maynooth (Ireland), 4 Sep 2018
                       - 4 Sep 2018},
      cin          = {123420 / 121310 / 120000 / 080060},
      cid          = {$I:(DE-82)123420_20140620$ / $I:(DE-82)121310_20140620$ /
                      $I:(DE-82)120000_20140620$ / $I:(DE-82)080060_20170720$},
      typ          = {PUB:(DE-HGF)7 / PUB:(DE-HGF)8},
      url          = {https://publications.rwth-aachen.de/record/767299},
}