Augur 2
From MaRDI portal
Software:20412
swMATH8403MaRDI QIDQ20412FDOQ20412
Author name not available (Why is that?)
Cited In (10)
- 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
- Title not available (Why is that?)
- 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
- Incremental construction of coverability graphs
- Towards the Verification of Attributed Graph Transformation Systems
This page was built for software: Augur 2
