Pages that link to "Item:Q3098055"
From MaRDI portal
The following pages link to Sound and Complete Abstract Graph Transformation (Q3098055):
Displaying 5 items.
- Specifying graph languages with type graphs (Q2423749) (← links)
- Sound and Complete Abstract Graph Transformation (Q3098055) (← links)
- (Q5020535) (← links)
- (Q5021224) (← links)
- Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions (Q5100737) (← links)