The following pages link to Augur 2 (Q20412):
Displayed 10 items.
- A framework for the verification of infinite-state graph transformation systems (Q937301) (← links)
- Unfolding-based diagnosis of systems with an evolving topology (Q1959480) (← links)
- A calculus of concurrent graph-rewriting processes (Q2291821) (← links)
- Incremental construction of coverability graphs (Q2379973) (← links)
- Verification of Random Graph Transformation Systems (Q2867889) (← links)
- The Edge of Graph Transformation — Graphs for Behavioural Specification (Q3059705) (← links)
- Towards the Verification of Attributed Graph Transformation Systems (Q3540407) (← links)
- Development of Correct Graph Transformation Systems (Q3540429) (← links)
- (Q5020535) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5899059) (← links)