H.: Bisimulation verification for the DPO approach with borrowed contexts (0)

by G Rangel, B König, Ehrig
Venue:In: Proc. of GT-VMT ’07. Volume 6 of Electronic Communications of the EASST. (2007