@inproceedings{Mal09,
title = {Reachability for Continuous and Hybrid Systems },
author = {Maler, Oded},
year = {2009},
booktitle = {Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings},
pages = {24-25},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5797},
team = {TEMPO},
}
