%0 Conference Paper %1 conf/hybrid/LafferrierePS97 %A Lafferriere, Gerardo %A Pappas, George J. %A Sastry, Shankar %B Hybrid Systems %D 1997 %E Antsaklis, Panos J. %E Kohn, Wolf %E Lemmon, Michael D. %E Nerode, Anil %E Sastry, Shankar %I Springer %K dblp %P 186-203 %T Hybrid Systems with Finite Bisimulations. %U http://dblp.uni-trier.de/db/conf/hybrid/hybrid97.html#LafferrierePS97 %V 1567 %@ 3-540-65643-X

@inproceedings{conf/hybrid/LafferrierePS97, added-at = {2024-05-07T00:00:00.000+0200}, author = {Lafferriere, Gerardo and Pappas, George J. and Sastry, Shankar}, biburl = {https://www.bibsonomy.org/bibtex/2de32f15a1eceb576a2be619b342e12f1/dblp}, booktitle = {Hybrid Systems}, crossref = {conf/hybrid/1997}, editor = {Antsaklis, Panos J. and Kohn, Wolf and Lemmon, Michael D. and Nerode, Anil and Sastry, Shankar}, ee = {https://doi.org/10.1007/3-540-49163-5_10}, interhash = {bbbf105b8e5a76d3f4ab7e2874b73e7e}, intrahash = {de32f15a1eceb576a2be619b342e12f1}, isbn = {3-540-65643-X}, keywords = {dblp}, pages = {186-203}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-13T08:39:01.000+0200}, title = {Hybrid Systems with Finite Bisimulations.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hybrid97.html#LafferrierePS97}, volume = 1567, year = 1997 }