DBLP BibTeX Record 'journals/eceasst/BhandalBH11'

@article{DBLP:journals/eceasst/BhandalBH11,
  author    = {Colm Bhandal and
               M{\'e}lanie Bouroche and
               Arthur Hughes},
  title     = {A Process Algebraic Description of a Temporal Wireless Network
               Protocol},
  journal   = {ECEASST},
  volume    = {45},
  year      = {2011},
  ee        = {http://journal.ub.tu-berlin.de/eceasst/article/view/660},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}