Pages that link to "Item:Q549194"
From MaRDI portal
The following pages link to Verification of mobile ad hoc networks: an algebraic approach (Q549194):
Displaying 5 items.
- Verification of mobile ad hoc networks: an algebraic approach (Q549194) (← links)
- Modeling and efficient verification of wireless ad hoc networks (Q1688557) (← links)
- A semantic theory of the Internet of things (Q1706144) (← links)
- Model checking mobile ad hoc networks (Q2363813) (← links)
- Depletable channels: dynamics, behaviour, and efficiency in network design (Q2422775) (← links)
