id: 70598335
dt: a
an: 70598335
au: Guo, Yingjiu; Lin, Chuang; Yin, Hao
ti: Formal proof of the IDOP\_SP protocol based on the Petri net
so: NAS, 161-162 (2008).
py: 2008
pu: 
la: EN
cc: 
ut: 
ci: 
li: http://doi.ieeecomputersociety.org/10.1109/NAS.2008.50