YoussefVM02'

@inproceedings{DBLP:conf/icnp/YoussefVM02,
  author    = {Moustafa A. Youssef and
               Arunchandar Vasan and
               Raymond E. Miller},
  title     = {Specification and Analysis of the DCF and PCF Protocols
               in the 802.11 Standard Using Systems of Communicating Machines},
  booktitle = {ICNP},
  year      = {2002},
  pages     = {132-143},
  ee        = {http://computer.org/proceedings/icnp/1856/18560132abs.htm},
  crossref  = {DBLP:conf/icnp/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/icnp/2002,
  title     = {10th IEEE International Conference on Network Protocols
               (ICNP 2002), 12-15 November 2002, Paris, France, Proceedings},
  booktitle = {ICNP},
  publisher = {IEEE Computer Society},
  year      = {2002},
  isbn      = {0-7695-1856-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}