%0 Journal Article %1 journals/entcs/BarbozaASL08 %A Barboza, Frederico J. R. %A Andrade, Aline Maria Santos %A de Assis Silva, Flávio Morais %A Lima, George %D 2008 %J Electron. Notes Theor. Comput. Sci. %K %P 3-20 %T Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems. %U http://dblp.uni-trier.de/db/journals/entcs/entcs195.html#BarbozaASL08 %V 195

@article{journals/entcs/BarbozaASL08, added-at = {2023-12-14T16:42:16.000+0100}, author = {Barboza, Frederico J. R. and Andrade, Aline Maria Santos and de Assis Silva, Flávio Morais and Lima, George}, biburl = {https://www.bibsonomy.org/bibtex/27b5ae19fe17a0ae77af7cb3153151bf2/admin}, ee = {https://doi.org/10.1016/j.entcs.2007.08.024}, interhash = {fbf0ae1d3c4e32e9baa290e344d991f3}, intrahash = {7b5ae19fe17a0ae77af7cb3153151bf2}, journal = {Electron. Notes Theor. Comput. Sci.}, keywords = {}, pages = {3-20}, timestamp = {2023-12-14T16:42:16.000+0100}, title = {Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs195.html#BarbozaASL08}, volume = 195, year = 2008 }