@inproceedings{ADI2,
title = {Reachability Analysis Via Predicate Abstraction },
author = {Alur, Rajeev and Dang, Thao and Ivancic, Franjo},
year = {2002},
booktitle = {Hybrid Systems: Computation and Control HSCC'02},
note = {LNCS 2404},
pages = {35-48},
publisher = {Springer},
team = {axe_Mohytos, TEMPO},
}