DBLP Record 'conf/hicss/BandiniSRT01'

BibTeX

@inproceedings{DBLP:conf/hicss/BandiniSRT01,
  author    = {G. Bandini and
               R. F. Lutje Spelberg and
               Ruud C. M. de Rooij and
               Hans Toetenel},
  title     = {Application of Parametric Model Checking - The Root Contention
               Protocol},
  booktitle = {HICSS},
  year      = {2001},
  ee        = {http://computer.org/proceedings/hicss/0981/volume\%209/09819070abs.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}