Confluence of typed attributed graph transformation systems (0)

by R Heckel, J M Küster, G Taentzer
Venue:in: Graph Transformation, Lecture Notes in Computer Science 2505 (2002