电脑体验，效果更佳

彭云全图谱-计算机领域：

相关人员

李广元 张文亮 魏绪凯

研究领域

非空性检测 时间自动机 线性时序逻辑性质 离散时间自动机 模型检测 二叉决策图共享存储

所属机构

中国科学院研究生院 中国科学院软件研究所 北京100080中国科学院研究生院 中国科学院软件研究所计算机科学国家重点实...

标签云