Gerardo Lafferriere, George J. Pappas, Shankar Sastry. Hybrid Systems with Finite Bisimulations. In Panos J. Antsaklis, Wolf Kohn, Michael D. Lemmon, Anil Nerode, Shankar Sastry, editors, Hybrid Systems V. Volume 1567 of Lecture Notes in Computer Science, pages 186-203, Springer, 1997. [doi]
@inproceedings{LafferrierePS97,
title = {Hybrid Systems with Finite Bisimulations},
author = {Gerardo Lafferriere and George J. Pappas and Shankar Sastry},
year = {1997},
url = {http://link.springer.de/link/service/series/0558/bibs/1567/15670186.htm},
researchr = {https://researchr.org/publication/LafferrierePS97},
cites = {0},
citedby = {0},
pages = {186-203},
booktitle = {Hybrid Systems V},
editor = {Panos J. Antsaklis and Wolf Kohn and Michael D. Lemmon and Anil Nerode and Shankar Sastry},
volume = {1567},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-65643-X},
}