%0 Conference Paper %1 conf/amast/YingW00 %A Ying, Mingsheng %A Wirsing, Martin %B AMAST %D 2000 %E Rus, Teodor %I Springer %K dblp %P 309-322 %T Approximate Bisimilarity. %U http://dblp.uni-trier.de/db/conf/amast/amast2000.html#YingW00 %V 1816 %@ 3-540-67530-2

@inproceedings{conf/amast/YingW00, added-at = {2017-06-01T00:00:00.000+0200}, author = {Ying, Mingsheng and Wirsing, Martin}, biburl = {https://www.bibsonomy.org/bibtex/294d0c0c3509cf60a4e6b23cf40fb4d25/dblp}, booktitle = {AMAST}, crossref = {conf/amast/2000}, editor = {Rus, Teodor}, ee = {https://doi.org/10.1007/3-540-45499-3_23}, interhash = {2d5e8437b6de125bff4742ef4931528d}, intrahash = {94d0c0c3509cf60a4e6b23cf40fb4d25}, isbn = {3-540-67530-2}, keywords = {dblp}, pages = {309-322}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:24:58.000+0200}, title = {Approximate Bisimilarity.}, url = {http://dblp.uni-trier.de/db/conf/amast/amast2000.html#YingW00}, volume = 1816, year = 2000 }