@inproceedings{BL95b,
title = {Logics vs. Automata: The Hybrid Case },
author = {Bouajjani, Ahmed and Lakhnech, Yassine},
year = {1995},
booktitle = {Hybrid Systems III: Verification and Control, Proceedings of the DIMACS/SYCON Workshop, October 22-25, 1995, Ruttgers University, New Brunswick, NJ, USA},
note = {Hybrid Systems III},
pages = {531-542},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1066},
team = {DCS},
}
