Pages that link to "Item:Q1708186"
From MaRDI portal
The following pages link to The Verigraph system for graph transformation (Q1708186):
Displaying 8 items.
- Verigraph (Q35504) (← links)
- Towards automated software model checking using graph transformation systems and bogor (Q1049792) (← links)
- Verigraph: a system for specification and analysis of graph grammars (Q1784784) (← links)
- On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems (Q2011208) (← links)
- View transformation in visual environments applied to algebraic high-level nets (Q2848076) (← links)
- Graph Transformations (Q5292598) (← links)
- Computational category-theoretic rewriting (Q6113023) (← links)
- Computational Category-Theoretic Rewriting (Q6487309) (← links)