年度	1986
全部作者	趙玉
論文名稱	趙玉;Ramamoorthy, C., 1986, 'A Petri Net Reduction Algorithm for Protocol Analysis, '.
卷數	119072