电脑体验，效果更佳

协议验证图谱-自然科学领域：

研究人员

段振华 王静 王育民 李艳 肖德宝 王小兵 冷淑霞 赵东明

相关术语

协议 模型检测 协议形式描述 安全协议 计算机网络 非否认协议 并发系统 时间自动机

下位概念

Petri网

标签云