Hybridization methods for the analysis of nonlinear systems

Eugene Asarin, Thao Dang, Antoine Girard. Hybridization methods for the analysis of nonlinear systems. Acta Informatica, 43(7):451-476, 2007. [doi]

No reviews for this publication, yet.