Pages that link to "Item:Q3540407"
From MaRDI portal
The following pages link to Towards the Verification of Attributed Graph Transformation Systems (Q3540407):
Displaying 11 items.
- Verification of graph grammars using a logical approach (Q436370) (← links)
- Formal specification and verification of dynamic parametrized architectures (Q2024379) (← links)
- A structural approach to graph transformation based on symmetric Petri nets (Q2035652) (← links)
- A calculus of concurrent graph-rewriting processes (Q2291821) (← links)
- Theorem proving graph grammars with attributes and negative application conditions (Q2358623) (← links)
- Verifying a behavioural logic for graph transformation systems (Q2847775) (← links)
- Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations (Q3447696) (← links)
- (Q4438777) (← links)
- (Q5020535) (← links)
- Unfolding Symbolic Attributed Graph Grammars (Q5100727) (← links)
- Graph Transformations (Q5292593) (← links)