Pages that link to "Item:Q6487310"
From MaRDI portal
The following pages link to Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction (Q6487310):
Displaying 2 items.
- Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions (Q5100737) (← links)
- Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic (Q6151620) (← links)