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 in Sammelwerk2007Informatik
Titel:
Bisimulation Verification for the DPO Approach with Borrowed Contexts
Autor(in):
Rangel, Guilherme; König, BarbaraLSF; Ehrig, Hartmut
Erscheinungsjahr
2007
WWW URL