Verimag

bibtex

@article{DLM11,
    title = { Computing reachable states for nonlinear biological models },
    author = {Dang, Thao and Le Guernic, Colas and Maler, Oded},
    month = {April},
    year = {2011},
    journal = {Theoretical Computer Science},
    team = {TEMPO},
}

URL

Publication Sections


Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 11 ; visits: 423925