Scalable Probabilistic Models for 802.11 Protocol Verification

Amitabha Roy 0002 K. Gopinath Scalable Probabilistic Models for 802.11 Protocol Verification http://arxiv.org/abs/cs.LO/0403044 2004 CoRR cs.LO/0403044 db/journals/corr/corr0403.html#cs-LO-0403044 informal publication