The following pages link to Programming Languages and Systems (Q5308712):
Displaying 6 items.
- A framework for the verification of infinite-state graph transformation systems (Q937301) (← links)
- Specifying graph languages with type graphs (Q2423749) (← links)
- Explicit State Model Checking for Graph Grammars (Q3507360) (← links)
- Abstracting Complex Data Structures by Hyperedge Replacement (Q3540389) (← links)
- Patch Graph Rewriting (Q5100730) (← links)
- Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions (Q5100737) (← links)
