电脑体验，效果更佳

陈牧之图谱-自然科学领域：

相关人员

王平 沈云付

研究领域

命题μ演算 Kripke结构 有穷系统 模型检测 状态爆炸

所属机构

上海大学计算机工程与科学学院

标签云