Model Checking GARP Protocol using Spin and VRS (bibtex)
by Igor V. Konnov, Oleksandr A. Letichevsky Jr.
Reference:
Model Checking GARP Protocol using Spin and VRSIgor V. Konnov, Oleksandr A. Letichevsky Jr.International Workshop on Automata, Algorithms, and Information Technologies, 2010.Note: Available as http://lvk.cs.msu.su/ konnov/publications/kl10_garp_presentation.pdf
Bibtex Entry:
@inproceedings{KonnovZakharov2010:AAIT2010,
  author    = {Igor V. Konnov and Oleksandr A. Letichevsky Jr.},
  title     = {Model Checking GARP Protocol using Spin and VRS},
  booktitle = {International Workshop on Automata, Algorithms, and
               Information Technologies},
  year      = {2010},
  note      = "Available as \url{http://lvk.cs.msu.su/~konnov/publications/kl10_garp_presentation.pdf}",
}
Powered by bibtexbrowser