Henzinger TA, Ho P. 1995. A note on abstract-interpretation strategies for hybrid automata. 3rd International Hybrid Systems Workshop. Hybrid Systems II, LNCS, vol. 999, 252–264.
LibreCat: https://research-explorer.ista.ac.at/record/4448
DOI: 10.1007/3-540-60472-3_13