电脑体验，效果更佳

韩耀军图谱-自然科学领域：

相关人员

丁志军 蒋昌俊 潘美芹 罗雪梅

研究领域

死锁 可串行化 两段锁协议 验证 可达标识图 Petri网 规则系统 Horn子句

所属机构

山东济南 山东青岛 山东科技大学计算机系 同济大学计算机科学与工程系 中国科学院计算机科学实验室 山东科技大学信息科学与工程学院

标签云