电脑体验，效果更佳

并发系统图谱-自然科学领域：

研究人员

肖美华 蔡? 徐德启 薛锦云 郑一源 张广泉 刘建福

相关术语

模拟关系 程序验证 协议验证 模型检测 形式化方法 算法 标号转移系统 命题线性时态逻辑

标签云