@inproceedings{DBLP:conf/birthday/AstefanoaeiBB16, author = {Lacramioara Astefanoaei, and Saddek Bensalem, and Marius Bozga, }, title = {A Compositional Approach to the Verification of Hybrid Systems}, booktitle = {Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday}, pages = {88--103}, year = {2016}, doi = {10.1007/978-3-319-30734-3_8}, url = {http://dx.doi.org/10.1007/978-3-319-30734-3_8}, crossref = {DBLP:conf/birthday/2016deboer}, }