Verimag

bibtex

@article{ADG07,
    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 = {TEMPO},
    bibsource = {DBLP, http://dblp.uni-trier.de},
}

URL

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 842964