Bisimulation Verification for the DPO Approach with Borrowed ...
Reference
Guilherme Rangel, Barbara König, and Hartmut Ehrig. Bisimulation verification for the DPO approach with borrowed contexts. In Proc. of GT-VMT '07 (Workshop on Graph Transformation and Visual Modeling Techniques), volume 6 of Electronic Communications of the EASST, 2007.
Suggested BibTeX entry:
@inproceedings{RKE07,
author = {Guilherme Rangel and Barbara K{\"o}nig and Hartmut Ehrig},
booktitle = {Proc. of GT-VMT '07 (Workshop on Graph Transformation and Visual Modeling Techniques)},
series = {Electronic Communications of the EASST},
title = {Bisimulation Verification for the {DPO} Approach with Borrowed Contexts},
volume = {6},
year = {2007}
}
