| 2008 | ||
|---|---|---|
| 1 | Frederico J. R. Barboza, Aline Maria Santos Andrade, Flávio Morais de Assis Silva, George Lima: Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems. Electr. Notes Theor. Comput. Sci. 195: 3-20 (2008) | |
| 1 | Aline Maria Santos Andrade | [1] |
| 2 | George Lima | [1] |
| 3 | Flávio Morais de Assis Silva | [1] |