时间自动机与网络协议验证

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

时间自动机与网络协议验证

高冠龙;周清雷;

Timed Automata and Network Protocol Verification

GAO Guanlong; ZHOU Qinglei;

计算机工程 . 2006, (22): 130 -132 . DOI: 10.3969/j.issn.1000-3428.2006.22.047