@inproceedings{STD+2,
title = {Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations },
author = {Sassi, Mohamed Amin Ben and Testylier, Romain and Dang, Thao and Girard, Antoine},
year = {2012},
booktitle = {Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings},
pages = {137-151},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7561},
team = {axe_Mohytos, TEMPO},
ee = {http://dx.doi.org/10.1007/978-3-642-33386-6_12},
}