Journal of Liaoning Petrochemical University
Expansion Design and Petri Net Validation of Interactive Control Protocol
HAN Do ng - yan,HO U Tong - pu
Journal of Liaoning Petrochemical University . 2007, (1): 67 -69 .