电脑体验，效果更佳

吕关锋图谱-计算机领域：

相关人员

陈清亮 苏开乐 肖茵茵 杨晋吉 徐旭东 岳伟亚 骆翔宇

研究领域

自动化验证 二值图 模型检测 有序二值判定图（OBDD） 集合运算 SPV 时态逻辑 有序二元判定图

所属机构

暨南大学计算机科学系 中山大学计算机科学系 北京工业大学计算机学院 北京工业大学计算机科学与技术学院 北京大学高可信软件技术教育部重点实验室 广州510275华南师范大学计算机学院 广州510275北京大学信息科学技术学院... 中山大学信息科学与技术学院广东省信息安全...

标签云