Verimag

bibtex

@inproceedings{ADM01b,
    title = {d/dt: a Tool for Reachability Analysis of Continuous and Hybrid systems },
    author = {Asarin, Eugene and Dang, Thao and Maler, Oded},
    year = {2001},
    booktitle = {5th IFAC Symposium Nonlinear Control Systems NOLCOS},
    team = {TEMPO},
}

Publication Sections


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

info visites 874570