电脑体验，效果更佳

岳香芬图谱-自然科学领域：

相关人员

缪淮扣 许庆国

研究领域

时钟带 时间自动机 可达性分析 模型检查

所属机构

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

标签云