年度	1994
全部作者	趙玉
論文名稱	趙玉, 1994.08, 'An Interactive Tool for Design, Simulation, Verification, and Synthesis for Protocols, Software Practice and Experience, '.
卷數	119079
發表日期	1994-08-01