%0 Journal Article %1 journals/entcs/CorradinHM99 %A Corradini, Andrea %A Heckel, Reiko %A Montanari, Ugo %D 1999 %J Electr. Notes Theor. Comput. Sci. %K dblp %P 118-141 %T From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence. %U http://dblp.uni-trier.de/db/journals/entcs/entcs19.html#CorradinHM99 %V 19

@article{journals/entcs/CorradinHM99, added-at = {2011-06-20T00:00:00.000+0200}, author = {Corradini, Andrea and Heckel, Reiko and Montanari, Ugo}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20c56f60190df306ec4628fa7838c2a2b/dblp}, ee = {http://dx.doi.org/10.1016/S1571-0661(05)80273-7}, interhash = {887e727ce227c4004810ee40c5504cfa}, intrahash = {0c56f60190df306ec4628fa7838c2a2b}, journal = {Electr. Notes Theor. Comput. Sci.}, keywords = {dblp}, pages = {118-141}, timestamp = {2016-02-02T04:55:21.000+0100}, title = {From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs19.html#CorradinHM99}, volume = 19, year = 1999 }