@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},
}
