bibtex

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


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

info visites 4087306