Daniel Y. Chao, David T. Wang. An Interactive Tool for Design, Simulation, Verification, and Synthesis of Protocols. In Vijay K. Madisetti, Erol Gelenbe, Jean C. Walrand, editors, MASCOTS 94, Proceedings of the Second International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems, January 31 - February 2, 1994, Durham, North Carolina, USA. pages 381-385, IEEE Computer Society, 1994.
Abstract is missing.