年度	1994
全部作者	趙玉
論文名稱	趙玉, 1994, 'An Interactive Tool for Design, Simulation, Verification, and Synthesis of Protocols, '.
卷數	119092