Pages that link to "Item:Q3540429"
From MaRDI portal
The following pages link to Development of Correct Graph Transformation Systems (Q3540429):
Displayed 8 items.
- Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations (Q2947219) (← links)
- The Edge of Graph Transformation — Graphs for Behavioural Specification (Q3059705) (← links)
- (Q5020535) (← links)
- (Q5020539) (← links)
- (Q5021217) (← links)
- (Q5021228) (← links)
- (Q5028460) (← links)
- Initial Conflicts for Transformation Rules with Nested Application Conditions (Q5100729) (← links)