Pages that link to "Item:Q3591071"
From MaRDI portal
The following pages link to A Temporal Graph Logic for Verification of Graph Transformation Systems (Q3591071):
Displayed 6 items.
- A framework for the verification of infinite-state graph transformation systems (Q937301) (← links)
- Reasoning with graph constraints (Q973044) (← links)
- Reachability analysis of reversal-bounded automata on series-parallel graphs (Q1741900) (← links)
- Explicit State Model Checking for Graph Grammars (Q3507360) (← links)
- (Q5013881) (← links)
- A Logic of Graph Constraints (Q5460000) (← links)