Year	1994
Authors	YUH CHAO
Paper Title	趙玉, 1994, 'An Interactive Tool for Design, Simulation, Verification, and Synthesis of Protocols, '.
Vol.No	119092