Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems.

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases