年度	1994
全部作者	赵玉
论文名称	赵玉, 1994.08, 'An Interactive Tool for Design, Simulation, Verification, and Synthesis for Protocols, Software Practice and Experience, '.
卷数	119079
发表日期	1994-08-01