bibtex

@inproceedings{ADM1b,
    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 = {axe_Mohytos, TEMPO},
}


Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4201346