Kaman协议的形式化验证
文双举
Formal Verification of Kaman Protocol
WEN Shuang-ju
计算机与现代化 . 2012, (200): 17 -06 .  DOI: 10. 3969/j. issn. 1006-2475.2012.04.005