The following pages link to Attributed Graph Constraints (Q3540405):
Displaying 4 items.
- Symbolic graphs for attributed graph constraints (Q631573) (← links)
- On the Specification and Verification of Model Transformations (Q3184747) (← links)
- Resolution-Like Theorem Proving for High-Level Conditions (Q3540406) (← links)
- Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions (Q5100737) (← links)
