[WBM12]
Matthias Woehrle, Rena Bakhshi and Mohammad Reza Mousavi.
Mechanized extraction of topology anti-patterns in wireless networks.
In Proc. 9th International Conference on Integrated Formal Methods (IFM'12), volume 7321 of LNCS, Springer.
2012.
[Presents techniques for verifying wireless networks, including the Trickle and LMAC protocols, making use of PRISM.]
|
Notes:
The original publication is available at link.springer.com.
|
Links:
[Google]
[Google Scholar]
|