Si-Yeong Hwang, Jung Wan Cho. An improved protocol validation technique for a class of communication models. Inf. Sci., 39(3):299-309, 1986. [doi]
@article{HwangC86,
title = {An improved protocol validation technique for a class of communication models},
author = {Si-Yeong Hwang and Jung Wan Cho},
year = {1986},
doi = {10.1016/0020-0255(86)90042-3},
url = {http://dx.doi.org/10.1016/0020-0255(86)90042-3},
tags = {protocol},
researchr = {https://researchr.org/publication/HwangC86},
cites = {0},
citedby = {0},
journal = {Inf. Sci.},
volume = {39},
number = {3},
pages = {299-309},
}