%0 Conference Paper %1 conf/ifm/MullerMRSP16 %A Müller, Andreas %A Mitsch, Stefan %A Retschitzegger, Werner %A Schwinger, Wieland %A Platzer, André %B IFM %D 2016 %E Ábrahám, Erika %E Huisman, Marieke %I Springer %K dblp %P 441-456 %T A Component-Based Approach to Hybrid Systems Safety Verification. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2016.html#MullerMRSP16 %V 9681 %@ 978-3-319-33692-3

@inproceedings{conf/ifm/MullerMRSP16, added-at = {2018-01-18T00:00:00.000+0100}, author = {Müller, Andreas and Mitsch, Stefan and Retschitzegger, Werner and Schwinger, Wieland and Platzer, André}, biburl = {https://www.bibsonomy.org/bibtex/25e416d01d080763d0d98acc9da500379/dblp}, booktitle = {IFM}, crossref = {conf/ifm/2016}, editor = {Ábrahám, Erika and Huisman, Marieke}, ee = {https://doi.org/10.1007/978-3-319-33693-0_28}, interhash = {90a3ee5531f7823b2d25ae00de835e63}, intrahash = {5e416d01d080763d0d98acc9da500379}, isbn = {978-3-319-33692-3}, keywords = {dblp}, pages = {441-456}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T19:46:15.000+0200}, title = {A Component-Based Approach to Hybrid Systems Safety Verification.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2016.html#MullerMRSP16}, volume = 9681, year = 2016 }