Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low−Rate Wireless Personal Area Network Protocol (Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods‚ Verification and Validation (ISoLA 2006), 2006)

(untitled) - Fruth, M