Hybridization methods for the analysis of nonlinear systems. (2007)

by E Asarin, T Dang, A Girard
Venue:Acta Informatica,