An Interactive Tool for Design, Simulation, Verification, and Synthesis of Protocols

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.

Abstract

Abstract is missing.