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

Matthias Fruth

Browse the full ISoLA paper archive.