Checking Bisimilarity for Attributed Graph Transformation.

Fernando Orejas, Artur Boronat, Ulrike Golas, Nikos Mylonakis

Browse the full FOSSACS paper archive.