Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}