%0 Conference Paper %1 conf/lics/Walker88 %A Walker, D. J. %B LICS %D 1988 %I IEEE Computer Society %K dblp %P 186-192 %T Bisimulations and Divergence %U http://dblp.uni-trier.de/db/conf/lics/lics88.html#Walker88 %@ 0-8186-0853-6

@inproceedings{conf/lics/Walker88, added-at = {2023-03-24T00:00:00.000+0100}, author = {Walker, D. J.}, biburl = {https://www.bibsonomy.org/bibtex/223e5d98629927cc0c519af817f053c98/dblp}, booktitle = {LICS}, crossref = {conf/lics/1988}, ee = {https://doi.ieeecomputersociety.org/10.1109/LICS.1988.5117}, interhash = {467971777b3649217925821dc8d4d21e}, intrahash = {23e5d98629927cc0c519af817f053c98}, isbn = {0-8186-0853-6}, keywords = {dblp}, pages = {186-192}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:42:48.000+0200}, title = {Bisimulations and Divergence}, url = {http://dblp.uni-trier.de/db/conf/lics/lics88.html#Walker88}, year = 1988 }