Cited in
(16)- MIGRATE
- CatLib
- Module integration using graph grammars (MIGRATE)
- AGG
- Henshin
- RuleMerger
- AGREE
- eMoflon
- EMorF
- On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
- Granularity of conflicts and dependencies in graph transformation systems
- egg
- Initial conflicts and dependencies: critical pairs revisited
- On the essence of parallel independence for the double-pushout and sesqui-pushout approaches
- APIDiff
- Verigraph: a system for specification and analysis of graph grammars
This page was built for software: Verigraph
