Augur 2
From MaRDI portal
Software:20412
No author found.
Related Items (10)
Incremental construction of coverability graphs ⋮ Unnamed Item ⋮ Unfolding-based diagnosis of systems with an evolving topology ⋮ Towards the Verification of Attributed Graph Transformation Systems ⋮ Development of Correct Graph Transformation Systems ⋮ A framework for the verification of infinite-state graph transformation systems ⋮ The Edge of Graph Transformation — Graphs for Behavioural Specification ⋮ A calculus of concurrent graph-rewriting processes ⋮ Tools and Algorithms for the Construction and Analysis of Systems ⋮ Verification of Random Graph Transformation Systems
This page was built for software: Augur 2