Pages that link to "Item:Q3507354"
From MaRDI portal
The following pages link to Unfolding Graph Transformation Systems: Theory and Applications to Verification (Q3507354):
Displaying 9 items.
- Proceedings of the workshop on graph transformation for concurrency and verification (GT-VC 2006), Bonn, Germany, August 31, 2006 (Q375703) (← links)
- A framework for the verification of infinite-state graph transformation systems (Q937301) (← links)
- Verifying a behavioural logic for graph transformation systems (Q2847775) (← links)
- Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations (Q3447696) (← links)
- (Q4010356) (← links)
- Open-graphs and monoidal theories (Q4917191) (← links)
- Unfolding Symbolic Attributed Graph Grammars (Q5100727) (← links)
- On the Decidability Status of Reachability and Coverability in Graph Transformation Systems (Q5111899) (← links)
- Double-pullback transitions and coalgebraic loose semantics for graph transformation systems (Q5929740) (← links)