The following pages link to Abstract graph transformation (Q2852078):
Displaying 20 items.
- A framework for the verification of infinite-state graph transformation systems (Q937301) (← links)
- Special issue on theoretical topics in graph transformation (Q2167909) (← links)
- Modeling and verifying graph transformations in proof assistants (Q2870320) (← links)
- The Edge of Graph Transformation — Graphs for Behavioural Specification (Q3059705) (← links)
- Sound and Complete Abstract Graph Transformation (Q3098055) (← links)
- Explicit State Model Checking for Graph Grammars (Q3507360) (← links)
- Mind the Shapes: Abstraction Refinement Via Topology Invariants (Q3510783) (← links)
- Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems (Q3512494) (← links)
- Abstracting Complex Data Structures by Hyperedge Replacement (Q3540389) (← links)
- Towards the Verification of Attributed Graph Transformation Systems (Q3540407) (← links)
- Application of Graph Transformation in Verification of Dynamic Systems (Q3605472) (← links)
- Transformations on channel graphs (Q4273259) (← links)
- (Q4381716) (← links)
- (Q4508296) (← links)
- (Q4825544) (← links)
- Algebraic Graph Transformations with Inheritance (Q5166670) (← links)
- Graph Transformations (Q5292598) (← links)
- Programming Languages and Systems (Q5308712) (← links)
- Diagrammatic Representation and Inference (Q5714079) (← links)
- Systematic Refinement of Abstract State Machines with Higher-Order Logic (Q5881450) (← links)