%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 %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 = {2023-12-13T03:58:31.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/admin}, 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 = {}, pages = {441-456}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T03:58:31.000+0100}, 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 }