Guilherme Rangel, Barbara König, Hartmut Ehrig
Bisimulation Verification for the DPO Approach with Borrowed
GT-VMT, 2007.
@article{GT-VMT-2007-RangelKE,
author = "Guilherme Rangel and Barbara König and Hartmut Ehrig",
ee = "http://journal.ub.tu-berlin.de/eceasst/article/view/70",
journal = "{Electronic Communications of the EASST}",
title = "{Bisimulation Verification for the DPO Approach with Borrowed}",
volume = 6,
year = 2007,
}