%0 Conference Paper %1 conf/ksem/MullerMRS14 %A Müller, Andreas %A Mitsch, Stefan %A Retschitzegger, Werner %A Schwinger, Wieland %B KSEM %D 2014 %E Buchmann, Robert %E Kifor, Claudiu Vasile %E Yu, Jian %I Springer %K dblp %P 368-379 %T A Conceptual Reference Model of Modeling and Verification Concepts for Hybrid Systems. %U http://dblp.uni-trier.de/db/conf/ksem/ksem2014.html#MullerMRS14 %V 8793 %@ 978-3-319-12095-9

@inproceedings{conf/ksem/MullerMRS14, added-at = {2018-01-18T00:00:00.000+0100}, author = {Müller, Andreas and Mitsch, Stefan and Retschitzegger, Werner and Schwinger, Wieland}, biburl = {https://www.bibsonomy.org/bibtex/2bd72e1777b7dbaa7e98220452e97e652/dblp}, booktitle = {KSEM}, crossref = {conf/ksem/2014}, editor = {Buchmann, Robert and Kifor, Claudiu Vasile and Yu, Jian}, ee = {https://doi.org/10.1007/978-3-319-12096-6_33}, interhash = {a948d894c2b31a8940739701ba949090}, intrahash = {bd72e1777b7dbaa7e98220452e97e652}, isbn = {978-3-319-12095-9}, keywords = {dblp}, pages = {368-379}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:46:39.000+0200}, title = {A Conceptual Reference Model of Modeling and Verification Concepts for Hybrid Systems.}, url = {http://dblp.uni-trier.de/db/conf/ksem/ksem2014.html#MullerMRS14}, volume = 8793, year = 2014 }