%0 Journal Article %1 journals/iandc/BonchiGK09 %A Bonchi, Filippo %A Gadducci, Fabio %A König, Barbara %D 2009 %J Inf. Comput. %K %N 1 %P 14-40 %T Synthesising CCS bisimulation using graph rewriting. %U http://dblp.uni-trier.de/db/journals/iandc/iandc207.html#BonchiGK09 %V 207

@article{journals/iandc/BonchiGK09, added-at = {2023-12-13T06:57:57.000+0100}, author = {Bonchi, Filippo and Gadducci, Fabio and König, Barbara}, biburl = {https://www.bibsonomy.org/bibtex/2629fc247f937f61d8bcdea5878dcc88d/admin}, ee = {https://doi.org/10.1016/j.ic.2008.10.005}, interhash = {b3c98f030be9c29361811add6eee956c}, intrahash = {629fc247f937f61d8bcdea5878dcc88d}, journal = {Inf. Comput.}, keywords = {}, number = 1, pages = {14-40}, timestamp = {2023-12-13T06:57:57.000+0100}, title = {Synthesising CCS bisimulation using graph rewriting.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc207.html#BonchiGK09}, volume = 207, year = 2009 }