The following pages link to OCL2AC (Q1349618):
Displaying 4 items.
- Constructing optimized constraint-preserving application conditions for model transformation rules (Q780069) (← links)
- Constructing constraint-preserving interaction schemes in adhesive categories (Q2185892) (← links)
- Constructing optimized validity-preserving application conditions for graph transformation rules (Q2292977) (← links)
- (Q5020535) (← links)