%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 %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 = {2023-12-12T18:30:33.000+0100}, author = {Müller, Andreas and Mitsch, Stefan and Retschitzegger, Werner and Schwinger, Wieland and Platzer, André}, biburl = {https://www.bibsonomy.org/bibtex/22f52410b4e927acc2933f80bd6b9ba10/admin}, booktitle = {ARCH@CPSWeek}, crossref = {conf/cpsweek/2017arch}, editor = {Frehse, Goran and Althoff, Matthias}, ee = {https://easychair.org/publications/paper/DgT4}, interhash = {134dbc00368ab357c04ceff77a33a5ed}, intrahash = {2f52410b4e927acc2933f80bd6b9ba10}, keywords = {}, pages = {65-74}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2023-12-12T18:30:33.000+0100}, 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 }