Rangel, Guilherme; König, Barbara; Ehrig, Hartmut:

Bisimulation Verification for the DPO Approach with Borrowed Contexts

In: Proceedings of the Sixth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2007). - (Electronic Communications of the EASST ; 6)
(2007)
Buchaufsatz / Kapitel / Fach: Informatik

Dieser Eintrag ist freigegeben.