Yun Jiang
Information Engineering Institute of Nanchang University, Nanchang, Jiangxi, 330031, China
Huaping Gong
Information Engineering Institute of Nanchang University, Nanchang, Jiangxi, 330031, China
PDF Fulltext XML References Citation
How to cite this article
Yun Jiang and Huaping Gong, 2013. Modeling and Formal Analysis of Communication Protocols Based on Game. Information Technology Journal, 12: 470-473.
DOI: 10.3923/itj.2013.470.473
URL: https://scialert.net/abstract/?doi=itj.2013.470.473
DOI: 10.3923/itj.2013.470.473
URL: https://scialert.net/abstract/?doi=itj.2013.470.473