No Citation Found
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