%0 Conference Paper %1 journals/entcs/HaghverdiTP02 %A Haghverdi, Esfandiar %A Tabuada, Paulo %A Pappas, George J. %B CTCS %D 2002 %E Blute, Richard %E Selinger, Peter %I Elsevier %K dblp %P 120-136 %T Bisimulation Relations for Dynamical and Control Systems. %U http://dblp.uni-trier.de/db/journals/entcs/entcs69.html#HaghverdiTP02 %V 69

@inproceedings{journals/entcs/HaghverdiTP02, added-at = {2023-06-26T00:00:00.000+0200}, author = {Haghverdi, Esfandiar and Tabuada, Paulo and Pappas, George J.}, biburl = {https://www.bibsonomy.org/bibtex/2e6234005389b99700b6493a03039248e/dblp}, booktitle = {CTCS}, crossref = {conf/ctcs/2002}, editor = {Blute, Richard and Selinger, Peter}, ee = {https://www.wikidata.org/entity/Q57582127}, interhash = {b0544aea9a2928da0bc01c6c6825a0c3}, intrahash = {e6234005389b99700b6493a03039248e}, keywords = {dblp}, pages = {120-136}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T12:39:21.000+0200}, title = {Bisimulation Relations for Dynamical and Control Systems.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs69.html#HaghverdiTP02}, volume = 69, year = 2002 }