Henzinger TA, ed. HSCC: Hybrid Systems—Computation and Control. Vol 1386. Springer; 1998. doi:10.1007/3-540-64358-3
LibreCat: https://research-explorer.ista.ac.at/record/4430
DOI: 10.1007/3-540-64358-3