%0 Conference Paper %1 conf/gg/BonchiGK06 %A Bonchi, Filippo %A Gadducci, Fabio %A König, Barbara %B ICGT %D 2006 %E Corradini, Andrea %E Ehrig, Hartmut %E Montanari, Ugo %E Ribeiro, Leila %E Rozenberg, Grzegorz %I Springer %K dblp %P 168-183 %T Process Bisimulation Via a Graphical Encoding. %U http://dblp.uni-trier.de/db/conf/gg/icgt2006.html#BonchiGK06 %V 4178 %@ 3-540-38870-2

@inproceedings{conf/gg/BonchiGK06, added-at = {2021-10-14T00:00:00.000+0200}, author = {Bonchi, Filippo and Gadducci, Fabio and König, Barbara}, biburl = {https://www.bibsonomy.org/bibtex/2fbf3cee9543c05c6467eb165533c8e59/dblp}, booktitle = {ICGT}, crossref = {conf/gg/2006}, editor = {Corradini, Andrea and Ehrig, Hartmut and Montanari, Ugo and Ribeiro, Leila and Rozenberg, Grzegorz}, ee = {https://doi.org/10.1007/11841883_13}, interhash = {666321908eb067f2c22749611e6548c3}, intrahash = {fbf3cee9543c05c6467eb165533c8e59}, isbn = {3-540-38870-2}, keywords = {dblp}, pages = {168-183}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T22:05:48.000+0200}, title = {Process Bisimulation Via a Graphical Encoding.}, url = {http://dblp.uni-trier.de/db/conf/gg/icgt2006.html#BonchiGK06}, volume = 4178, year = 2006 }