www.prismmodelchecker.org
[ZBB10] Hafedh Zayani, Kamel Barkaoui and Rahma Ben Ayed. Probabilistic verification and evaluation of Backoff procedure of the WSN ECo-MAC protocol. International Journal of Wireless & Mobile Networks, 2(2), pages 156-170. 2010. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications