Pages that link to "Item:Q5179351"
From MaRDI portal
The following pages link to Formal Verification of Graph Grammars using Mathematical Induction (Q5179351):
Displaying 4 items.
- Correct transformation: from object-based graph grammars to PROMELA (Q436353) (← links)
- Verification of graph grammars using a logical approach (Q436370) (← links)
- Theorem proving graph grammars with attributes and negative application conditions (Q2358623) (← links)
- Interactive and automated proofs for graph transformations (Q4585009) (← links)
