The following pages link to (Q3416072):
Displaying 15 items.
- Verification of graph grammars using a logical approach (Q436370) (← links)
- Modeling dynamic reconfigurations in Reo using high-level replacement systems (Q608354) (← links)
- Symbolic graphs for attributed graph constraints (Q631573) (← links)
- Variability-based model transformation: formal foundation and application (Q682373) (← links)
- Graph transformations for object-oriented refinement (Q1019019) (← links)
- The PBPO graph transformation approach (Q1734525) (← links)
- Theorem proving graph grammars with attributes and negative application conditions (Q2358623) (← links)
- A graph-based generic type system for object-oriented programs (Q2418638) (← links)
- 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)
- Explicit State Model Checking for Graph Grammars (Q3507360) (← links)
- From Algebraic Graph Transformation to Adhesive HLR Categories and Systems (Q3522863) (← links)
- High-Level Programs and Program Conditions (Q3540400) (← links)
- Graph Transformations (Q5292593) (← links)
- Algebraic properties and transformations of monographs (Q6652464) (← links)