Augur 2
From MaRDI portal
swMATH8403MaRDI QIDQ20412FDOQ20412
Author name not available (Why is that?)
Official website: http://www.sciencedirect.com/science/article/pii/S1571066108002570?via=ihub
Cited In (18)
- PTGTSs
- 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
- Development of Correct Graph Transformation Systems
- Graph transformation benchmarks
- CheckVML
- GROOVE
- Orion
- Henshin
- MoonWalker
- Analysis of graph transformation systems: native vs translation-based techniques
- OCL2AC
- Incremental construction of coverability graphs
- Towards the Verification of Attributed Graph Transformation Systems
This page was built for software: Augur 2
