@inproceedings{ADI3a,
title = {Progress on Reachability Analysis of Hybrid Systems using Predicate Abstraction },
author = {Alur, Rajeev and Dang, Thao and Ivancic, Franjo},
year = {2003},
booktitle = {Hybrid Systems: Control and Computation HSCC'03},
note = {LNCS 2623},
pages = {4-19},
publisher = {Springer},
team = {axe_Mohytos, TEMPO},
}
