Pages that link to "Item:Q937301"
From MaRDI portal
The following pages link to A framework for the verification of infinite-state graph transformation systems (Q937301):
Displaying 4 items.
- Correct transformation: from object-based graph grammars to PROMELA (Q436353) (← links)
- Verification of graph grammars using a logical approach (Q436370) (← links)
- On GS-Monoidal Theories for Graphs with Nesting (Q3059707) (← links)
- Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic (Q6151620) (← links)
