电脑体验，效果更佳

张文亮图谱-计算机领域：

相关人员

唐稚松 晏荣杰 彭云全

研究领域

空性检测 非空性检测 线性时序逻辑性质 离散时间自动机 基于迁移的扩展Büchi自动机 可接受条件

所属机构

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

标签云