GU, C., WANG, H., ZHENG, Y., XIN, D., & LIU, N. SAT-based lazy formal analysis method for security protocols. Editorial Department of Journal on Communications.
Chicago Style (17th ed.) CitationGU, Chun-xiang, Huan-xiao WANG, Yong-hui ZHENG, Dan XIN, and Nan LIU. SAT-based Lazy Formal Analysis Method for Security Protocols. Editorial Department of Journal on Communications.
MLA (9th ed.) CitationGU, Chun-xiang, et al. SAT-based Lazy Formal Analysis Method for Security Protocols. Editorial Department of Journal on Communications.
Warning: These citations may not always be 100% accurate.