@inproceedings{OrejasBoronatGolasetal.2013, author = {Orejas, Fernando and Boronat, Artur and Golas, Ulrike and Mylonakis, Nikos}, title = {Checking Bisimilarity for Attributed Graph Transformation}, series = {Foundations of Software Science and Computation Structures. Proceedings of FOSSACS 2013}, volume = {7794}, booktitle = {Foundations of Software Science and Computation Structures. Proceedings of FOSSACS 2013}, editor = {Pfenning, Frank}, publisher = {Springer}, doi = {10.1007/978-3-642-37075-5_8}, pages = {113 -- 128}, year = {2013}, language = {en} }