Olivier Bouissou, Matthieu Martel
A Hybrid Denotational Semantics for Hybrid Systems
ESOP, 2008.
@inproceedings{ESOP-2008-BouissouM, author = "Olivier Bouissou and Matthieu Martel", booktitle = "{Proceedings of the 17th European Symposium on Programming}", doi = "10.1007/978-3-540-78739-6_5", editor = "Sophia Drossopoulou", isbn = "978-3-540-78738-9", pages = "63--77", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{A Hybrid Denotational Semantics for Hybrid Systems}", volume = 4960, year = 2008, }