Richard Lai. A Success Story of Verifying a Real Complex Protocol. Journal of Systems and Software, 36(1):69-83, 1997.
@article{Lai97a,
title = {A Success Story of Verifying a Real Complex Protocol},
author = {Richard Lai},
year = {1997},
tags = {protocol},
researchr = {https://researchr.org/publication/Lai97a},
cites = {0},
citedby = {0},
journal = {Journal of Systems and Software},
volume = {36},
number = {1},
pages = {69-83},
}