Verimag

bibtex

@inproceedings{TD13,
    title = {NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems },
    author = {Testylier, Romain and Dang, Thao},
    year = {2013},
    booktitle = {Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings},
    pages = {469-473},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {8172},
    team = {TEMPO},
}

Publication Sections


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

info visites 846041