[1]
G. Rangel, B. König, and H. Ehrig, “Bisimulation Verification for the DPO Approach with Borrowed Contexts”,
ECEASST
, vol. 6, Jun. 2007.