电脑体验，效果更佳

协议形式描述图谱-自然科学领域：

研究人员

冷淑霞 徐涛 巨同升

相关术语

协议验证 协议验证与分析 协议工程 Petri网 协议

标签云