年度	1994
全部作者	赵玉
论文名称	赵玉, 1994, 'An Interactive Tool for Design, Simulation, Verification, and Synthesis of Protocols, '.
卷数	119092