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