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,
}











