%0 Conference Paper %1 conf/fossacs/EhrigK04 %A Ehrig, Hartmut %A König, Barbara %B FoSSaCS %D 2004 %E Walukiewicz, Igor %I Springer %K dblp %P 151-166 %T Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2004.html#EhrigK04 %V 2987 %@ 3-540-21298-1

@inproceedings{conf/fossacs/EhrigK04, added-at = {2017-05-23T00:00:00.000+0200}, author = {Ehrig, Hartmut and König, Barbara}, biburl = {https://www.bibsonomy.org/bibtex/29369adc317997f19baa30e07f5de21e5/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2004}, editor = {Walukiewicz, Igor}, ee = {https://doi.org/10.1007/978-3-540-24727-2_12}, interhash = {1a4a2d5e3e1fd760e0c49271a0d0bf0b}, intrahash = {9369adc317997f19baa30e07f5de21e5}, isbn = {3-540-21298-1}, keywords = {dblp}, pages = {151-166}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:33:37.000+0200}, title = {Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2004.html#EhrigK04}, volume = 2987, year = 2004 }