%0 Conference Paper %1 conf/fossacs/YoshidaHB02 %A Yoshida, Nobuko %A Honda, Kohei %A Berger, Martin %B FoSSaCS %D 2002 %E Nielsen, Mogens %E Engberg, Uffe %I Springer %K %P 417-434 %T Linearity and Bisimulation. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2002.html#YoshidaHB02 %V 2303 %@ 3-540-43366-X

@inproceedings{conf/fossacs/YoshidaHB02, added-at = {2023-12-13T02:53:14.000+0100}, author = {Yoshida, Nobuko and Honda, Kohei and Berger, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2443574a8625c2839dbb8233a375876de/admin}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2002}, editor = {Nielsen, Mogens and Engberg, Uffe}, ee = {https://doi.org/10.1007/3-540-45931-6_29}, interhash = {84de7d108adfbecadcfaf835f55609ed}, intrahash = {443574a8625c2839dbb8233a375876de}, isbn = {3-540-43366-X}, keywords = {}, pages = {417-434}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T02:53:14.000+0100}, title = {Linearity and Bisimulation.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2002.html#YoshidaHB02}, volume = 2303, year = 2002 }