@article{ADG7,
title = { Hybridization methods for the analysis of nonlinear systems },
author = {Asarin, Eugene and Dang, Thao and Girard, Antoine},
year = {2007},
journal = {Acta Inf.},
number = {7},
pages = {451-476},
volume = {43},
team = {axe_Mohytos, TEMPO},
bibsource = {DBLP, http://dblp.uni-trier.de},
}
