Title of article
Hybridization methods for the analysis of nonlinear systems
Author/Authors
Eugene Asarin، نويسنده , , Thao Dang and Antoine Girard ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2007
Pages
26
From page
451
To page
476
Journal title
acta Informatica
Serial Year
2007
Journal title
acta Informatica
Record number
287860
Link To Document