Rangel, G., König, B., & Ehrig, H. (2007). Bisimulation Verification for the DPO Approach with Borrowed Contexts.
Electronic Communications of the EASST
,
6
. https://doi.org/10.14279/tuj.eceasst.6.70