@inproceedings{ADI3b,
title = {Counter-example Guided Predicate Abstraction of Hybrid Systems },
author = {Alur, Rajeev and Dang, Thao and Ivancic, Franjo},
year = {2003},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems TACAS'03},
note = {LNCS 2619},
pages = {208-223},
publisher = {Springer},
team = {axe_Mohytos, TEMPO},
}