%0 Conference Paper %1 conf/cpsweek/0002MRSP17 %A Müller, Andreas %A Mitsch, Stefan %A Retschitzegger, Werner %A Schwinger, Wieland %A Platzer, André %B ARCH@CPSWeek %D 2017 %E Frehse, Goran %E Althoff, Matthias %I EasyChair %K dblp %P 65-74 %T A Benchmark for Component-based Hybrid Systems Safety Verification. %U http://dblp.uni-trier.de/db/conf/cpsweek/arch2017.html#0002MRSP17 %V 48

@inproceedings{conf/cpsweek/0002MRSP17, added-at = {2021-09-23T00:00:00.000+0200}, author = {Müller, Andreas and Mitsch, Stefan and Retschitzegger, Werner and Schwinger, Wieland and Platzer, André}, biburl = {https://www.bibsonomy.org/bibtex/22f52410b4e927acc2933f80bd6b9ba10/dblp}, booktitle = {ARCH@CPSWeek}, crossref = {conf/cpsweek/2017arch}, editor = {Frehse, Goran and Althoff, Matthias}, ee = {https://doi.org/10.29007/9jm3}, interhash = {134dbc00368ab357c04ceff77a33a5ed}, intrahash = {2f52410b4e927acc2933f80bd6b9ba10}, keywords = {dblp}, pages = {65-74}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T23:41:01.000+0200}, title = {A Benchmark for Component-based Hybrid Systems Safety Verification.}, url = {http://dblp.uni-trier.de/db/conf/cpsweek/arch2017.html#0002MRSP17}, volume = 48, year = 2017 }