Hybridization methods for the analysis of nonlinear systems (0)

by Eugene Asarin, Thao Dang, Antoine Girard
Venue:Acta Informatica