2011): Formal verification of hybrid systems (0)

by R Alur
Venue:In: Proc. 11th Int. Conf. on Embedded Software, EMSOFT 2011, part of the Seventh Embedded Systems Week, ACM, doi:10.1145/2038642.2038685