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