Cited in
(19)- Unfolding-based diagnosis of systems with an evolving topology
- The Edge of Graph Transformation — Graphs for Behavioural Specification
- A calculus of concurrent graph-rewriting processes
- Verification of random graph transformation systems
- Tools and Algorithms for the Construction and Analysis of Systems
- A framework for the verification of infinite-state graph transformation systems
- StEAM
- Graph transformation benchmarks
- CheckVML
- GROOVE
- Orion
- Henshin
- MoonWalker
- Development of Correct Graph Transformation Systems
- OCL2AC
- PTGTSs
- Analysis of graph transformation systems: native vs translation-based techniques
- Incremental construction of coverability graphs
- Towards the Verification of Attributed Graph Transformation Systems
This page was built for software: Augur 2
