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