bibtex

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


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

info visites 4121961