电脑体验，效果更佳

郭端阳图谱-计算机领域：

相关人员

冯玉琳 赵旭东

研究领域

Petri网 自动验证 并发系统 线性时序逻辑

所属机构

中国科学技术大学计算机系

标签云