%0 Conference Paper %1 conf/mfcs/HannayKS03 %A Hannay, Jo Erskine %A ya Katsumata, Shin %A Sannella, Donald %B MFCS %D 2003 %E Rovan, Branislav %E Vojtás, Peter %I Springer %K dblp %P 68-91 %T Semantic and Syntactic Approaches to Simulation Relations. %U http://dblp.uni-trier.de/db/conf/mfcs/mfcs2003.html#HannayKS03 %V 2747 %@ 3-540-40671-9

@inproceedings{conf/mfcs/HannayKS03, added-at = {2021-07-25T00:00:00.000+0200}, author = {Hannay, Jo Erskine and ya Katsumata, Shin and Sannella, Donald}, biburl = {https://www.bibsonomy.org/bibtex/2134cac5e9ff3ae42455e1c1a4b80eb2e/dblp}, booktitle = {MFCS}, crossref = {conf/mfcs/2003}, editor = {Rovan, Branislav and Vojtás, Peter}, ee = {https://doi.org/10.1007/978-3-540-45138-9_4}, interhash = {849b626046dd22905beeab84ca1ebfc9}, intrahash = {134cac5e9ff3ae42455e1c1a4b80eb2e}, isbn = {3-540-40671-9}, keywords = {dblp}, pages = {68-91}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T13:07:19.000+0200}, title = {Semantic and Syntactic Approaches to Simulation Relations.}, url = {http://dblp.uni-trier.de/db/conf/mfcs/mfcs2003.html#HannayKS03}, volume = 2747, year = 2003 }