Daniel Y. Chao, David T. Wang. An Interactive Tool for Design, Simulation, Verification, and Synthesis of Protocols. Software: Practice and Experience, 24(8):747-783, 1994.
@article{ChaoW94,
title = {An Interactive Tool for Design, Simulation, Verification, and Synthesis of Protocols},
author = {Daniel Y. Chao and David T. Wang},
year = {1994},
tags = {protocol, design},
researchr = {https://researchr.org/publication/ChaoW94},
cites = {0},
citedby = {0},
journal = {Software: Practice and Experience},
volume = {24},
number = {8},
pages = {747-783},
}