Year	1994
Authors	YUH CHAO
Paper Title	趙玉, 1994.08, 'An Interactive Tool for Design, Simulation, Verification, and Synthesis for Protocols, Software Practice and Experience, '.
Vol.No	119079
Date of Publication	1994-08-01