电脑体验，效果更佳

沈云付图谱-自然科学领域：

相关人员

王平 陈牧之

研究领域

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

所属机构

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

标签云