@inproceedings{DM8,
title = {Reachability Analysis via Face Lifting },
author = {Dang, Thao and Maler, Oded},
year = {1998},
booktitle = {Hybrid Systems: Computation and Control HSCC'98},
note = {LNCS 1386},
pages = {96-109},
publisher = {Springer},
team = {axe_Mohytos, TEMPO},
}
