%0 Journal Article %1 journals/iandc/GorrieriL95 %A Gorrieri, Roberto %A Laneve, Cosimo %D 1995 %J Inf. Comput. %K dblp %N 2 %P 272-288 %T Split and ST Bisimulation Semantics %U http://dblp.uni-trier.de/db/journals/iandc/iandc118.html#GorrieriL95 %V 118

@article{journals/iandc/GorrieriL95, added-at = {2021-02-12T00:00:00.000+0100}, author = {Gorrieri, Roberto and Laneve, Cosimo}, biburl = {https://www.bibsonomy.org/bibtex/2030a6bf3d70a3fadb064920fdb31539c/dblp}, ee = {https://doi.org/10.1006/inco.1995.1066}, interhash = {0e5f7b3deb2332648243546f7e84f366}, intrahash = {030a6bf3d70a3fadb064920fdb31539c}, journal = {Inf. Comput.}, keywords = {dblp}, month = May, number = 2, pages = {272-288}, timestamp = {2024-04-09T06:10:22.000+0200}, title = {Split and ST Bisimulation Semantics}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc118.html#GorrieriL95}, volume = 118, year = 1995 }