Pages that link to "Item:Q5458318"
From MaRDI portal
The following pages link to Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols (Q5458318):
Displayed 9 items.
- Well-structured graph transformation systems (Q729812) (← links)
- Parameterized verification of time-sensitive models of ad hoc network protocols (Q896913) (← links)
- Modeling and efficient verification of wireless ad hoc networks (Q1688557) (← links)
- The Edge of Graph Transformation — Graphs for Behavioural Specification (Q3059705) (← links)
- Sound and Complete Abstract Graph Transformation (Q3098055) (← links)
- On the Verification of Timed Ad Hoc Networks (Q3172855) (← links)
- Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems (Q3512494) (← links)
- Automatic Verification of Directory-Based Consistency Protocols (Q3646250) (← links)
- Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols (Q5458318) (← links)