Model Checking GARP Protocol using Spin and VRS

Konnov, Igor V.; Jr., Oleksandr A. Letichevsky

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}",
}