郭端阳
【姓名】 郭端阳
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 并发系统,自动验证,时序逻辑,合理路径,检查算法,路径,Petri网,状态图,原子命题,合理状态,TRUE,计算树,模型验证,线性时序逻辑,强连通子图,外部特性,形式推导,哲学家,强连通,结构化,
【工作单位】 中国科学技术大学
【曾工作单位】 中国科学技术大学;
【所在地域】
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/1 0 0 0 3 92
中国期刊全文数据库    共找到1篇
[1]冯玉琳,赵旭东,郭端阳.并发系统的模型和自动验证[J]计算机学报.1990,(02)
更多