@inproceedings{BLR95,
title = {From duration calculus to linear hybrid automata },
author = {Bouajjani, Ahmed and Lakhnech, Yassine and Robbana, Riadh},
year = {1995},
booktitle = {Computer Aided Verification},
pages = {196-210},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
volume = {939},
team = {DCS},
}
