电脑体验，效果更佳

曲扬图谱-计算机领域：

相关人员

郑波 李雅娟 刘婷 蒋屹新 林闯 尹浩

研究领域

Petri网 线性推理 分组分类 一致性检验 推理 时序逻辑 时间Petri网 模型 点-时段时序逻辑 扩展时段时序逻辑 状态空间 AM-Trie 多维分类 网络处理器 并行算法 模型检测

所属机构

清华大学计算机科学与技术系

标签云