Electronic Communications of the EASST
is a peer-reviewed, scientific and open access journal
ISSN 1863-2122

Rangel, Guilherme, Germany

• Volume 6: Graph Transformation and Visual Modeling Techniques 2007 - Articles
  Bisimulation Verification for the DPO Approach with Borrowed Contexts
  Abstract  PDF

Hosted By Universitätsbibliothek TU Berlin.