Stefan Schupp, Erika Ábrahám, Xin Chen 0002, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski. Current Challenges in the Verification of Hybrid Systems. In Christian Berger 0001, Mohammad Reza Mousavi, editors, Cyber Physical Systems. Design, Modeling, and Evaluation - 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings. Volume 9361 of Lecture Notes in Computer Science, pages 8-24, Springer, 2015. [doi]
@inproceedings{SchuppA0MFSK15,
title = {Current Challenges in the Verification of Hybrid Systems},
author = {Stefan Schupp and Erika Ábrahám and Xin Chen 0002 and Ibtissem Ben Makhlouf and Goran Frehse and Sriram Sankaranarayanan and Stefan Kowalewski},
year = {2015},
doi = {10.1007/978-3-319-25141-7_2},
url = {http://dx.doi.org/10.1007/978-3-319-25141-7_2},
researchr = {https://researchr.org/publication/SchuppA0MFSK15},
cites = {0},
citedby = {0},
pages = {8-24},
booktitle = {Cyber Physical Systems. Design, Modeling, and Evaluation - 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings},
editor = {Christian Berger 0001 and Mohammad Reza Mousavi},
volume = {9361},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-25140-0},
}