Pages that link to "Item:Q2915180"
From MaRDI portal
The following pages link to Broadcast Abstraction in a Stochastic Calculus for Mobile Networks (Q2915180):
Displaying 6 items.
- Modeling and analyzing mobile ad hoc networks in Real-Time Maude (Q730472) (← links)
- Static analysis of topology-dependent broadcast networks (Q2266988) (← links)
- Probabilistic Mobility Models for Mobile and Wireless Networks (Q3163875) (← links)
- A Calculus for Mobile Ad Hoc Networks (Q3634642) (← links)
- (Q4965812) (← links)
- Formal Analysis of Leader Election in MANETs Using Real-Time Maude (Q5256351) (← links)