115
Voted
ACSD
2010
IEEE
15 years 1 months ago
2010
IEEE
We present a formal framework to evaluate stochastic properties of MANET protocols. It captures the interplay between stochastic behavior of protocols deployed at different network...