The following pages link to (Q4791846):
Displaying 18 items.
- Unfolding semantics of graph transformation (Q879600) (← links)
- A framework for the verification of infinite-state graph transformation systems (Q937301) (← links)
- Reachability analysis of reversal-bounded automata on series-parallel graphs (Q1741900) (← links)
- Compositional analysis of probabilistic timed graph transformation systems (Q2044184) (← links)
- Incremental construction of coverability graphs (Q2379973) (← links)
- A general framework for types in graph rewriting (Q2581012) (← links)
- Verification of Random Graph Transformation Systems (Q2867889) (← links)
- Inductive Invariant Checking with Partial Negative Application Conditions (Q2947222) (← links)
- The Edge of Graph Transformation — Graphs for Behavioural Specification (Q3059705) (← links)
- Unfolding Graph Transformation Systems: Theory and Applications to Verification (Q3507354) (← links)
- Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems (Q3512494) (← links)
- Towards the Verification of Attributed Graph Transformation Systems (Q3540407) (← links)
- Workshop on Petri Nets and Graph Transformations (Q3540422) (← links)
- Application of Graph Transformation in Verification of Dynamic Systems (Q3605472) (← links)
- GETGRATS (Q4923529) (← links)
- (Q5013881) (← links)
- (Q5020535) (← links)
- (Q5111631) (← links)
