Pages that link to "Item:Q5100737"
From MaRDI portal
The following pages link to Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions (Q5100737):
Displaying 4 items.
- Compositional analysis of probabilistic timed graph transformation systems (Q2044184) (← links)
- Monadic second-order incorrectness logic for GP 2 (Q2096431) (← links)
- Incorrectness logic for graph programs (Q2117260) (← links)
- Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic (Q6151620) (← links)
