Year	1986
Authors	YUH CHAO
Paper Title	趙玉;Ramamoorthy, C., 1986, 'A Petri Net Reduction Algorithm for Protocol Analysis, '.
Vol.No	119072