The following pages link to Verigraph (Q35504):
Displaying 6 items.
- On the essence of parallel independence for the double-pushout and sesqui-pushout approaches (Q1708174) (← links)
- Initial conflicts and dependencies: critical pairs revisited (Q1708183) (← 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)
- Module integration using graph grammars (MIGRATE) (Q2154049) (← links)
- Granularity of Conflicts and Dependencies in Graph Transformation Systems (Q4972012) (← links)
