Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low-Rate Wireless Personal Area Network Protocol.

Matthias Fruth Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low-Rate Wireless Personal Area Network Protocol. 290-297 2006 ISoLA http://dx.doi.org/10.1109/ISoLA.2006.34 conf/isola/2006 db/conf/isola/isola2006.html#Fruth06