TY - CHAP A1 - Orejas, Fernando A1 - Boronat, Artur A1 - Golas, Ulrike A1 - Mylonakis, Nikos ED - Pfenning, Frank T1 - Checking Bisimilarity for Attributed Graph Transformation T2 - Foundations of Software Science and Computation Structures. Proceedings of FOSSACS 2013 Y1 - 2013 U6 - https://doi.org/10.1007/978-3-642-37075-5_8 VL - 7794 SP - 113 EP - 128 PB - Springer ER -