An Interactive Tool for Design, Simulation, Verification, and Synthesis of Protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Daniel Y. Chao' in GoogleThis author has not been identified. Look up 'David T. Wang' in Google

runs on WebDSL