@inproceedings{ABB6,
title = { A Compositional Approach to the Verification of Hybrid Systems },
author = {Astefanoaei, Lacramioara and Bensalem, Saddek and Bozga, Marius},
year = {2016},
booktitle = {Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday},
crossref = {DBLP:conf/birthday/2016deboer},
pages = {88--103},
team = {DCS, RSD, axe_Mohytos},
}
