Pages that link to "Item:Q2852050"
From MaRDI portal
The following pages link to Towards attributed graphs in Groove (work in progress) (Q2852050):
Displaying 5 items.
- Verification of graph grammars using a logical approach (Q436370) (← links)
- Towards automated software model checking using graph transformation systems and bogor (Q1049792) (← links)
- Graph attribution through sub-graphs (Q1708194) (← links)
- Theorem proving graph grammars with attributes and negative application conditions (Q2358623) (← links)
- Graph Transformation Semantics for a QVT Language (Q5404176) (← links)