@inproceedings{SDI8b,
title = {Symbolic Model Checking of Hybrid Systems Using Template Polyhedra },
author = {Sankaranarayanan, Sriram and Dang, Thao and Ivancic, Franjo},
year = {2008},
booktitle = {TACAS'08},
pages = {188-202},
publisher = {Springer},
series = {LNCS},
team = {axe_Mohytos, TEMPO},
}