DBLP Record 'conf/icfem/PengTK00'

BibTeX

@inproceedings{DBLP:conf/icfem/PengTK00,
  author    = {Hong Peng and
               Sofi{\`e}ne Tahar and
               Ferhat Khendek},
  title     = {SPIN vs. VIS: A Case Study on the Formal Verification of
               the ATMR Protocol},
  booktitle = {ICFEM},
  year      = {2000},
  pages     = {79-88},
  ee        = {http://computer.org/proceedings/icfem/0822/08220079abs.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}