年度	1986
全部作者	赵玉
论文名称	赵玉;Ramamoorthy, C., 1986, 'A Petri Net Reduction Algorithm for Protocol Analysis, '.
卷数	119072