% 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},
}