Checking Bisimilarity for Attributed Graph Transformation
| Author: | Fernando Orejas, Artur Boronat, Ulrike Golas, Nikos Mylonakis |
|---|---|
| Editor: | Frank Pfenning |
| Document Type: | In Proceedings |
| Parent Title (English): | Foundations of Software Science and Computation Structures. Proceedings of FOSSACS 2013 |
| Volume: | 7794 |
| First Page: | 113 |
| Last Page: | 128 |
| Series: | LNCS |
| Publisher: | Springer |
| Year of first publication: | 2013 |
| DOI: | https://doi.org/10.1007/978-3-642-37075-5_8 |
