Pages that link to "Item:Q3512494"
From MaRDI portal
The following pages link to Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems (Q3512494):
Displaying 8 items.
- Well-structured graph transformation systems (Q729812) (← links)
- Liveness in broadcast networks (Q2676223) (← links)
- Ideal Abstractions for Well-Structured Transition Systems (Q2891435) (← links)
- Synthesis for Structure Rewriting Systems (Q3182943) (← links)
- Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations (Q3447696) (← links)
- Automatic Verification of Directory-Based Consistency Protocols (Q3646250) (← links)
- (Q5009453) (← links)
- (Q5009706) (← links)