Pages that link to "Item:Q3400923"
From MaRDI portal
The following pages link to A Timed Calculus for Wireless Systems (Q3400923):
Displaying 6 items.
- A timed calculus for wireless systems (Q650891) (← links)
- Parameterized verification of time-sensitive models of ad hoc network protocols (Q896913) (← links)
- An operational semantics for a calculus for wireless systems (Q964487) (← links)
- A semantic theory of the Internet of things (Q1706144) (← links)
- Towards a calculus for wireless systems (Q2851331) (← links)
- On the Verification of Timed Ad Hoc Networks (Q3172855) (← links)