福建理工大学主页平台管理系统唐郑熠--中文主页-- 行为时序逻辑中四级公平性下的活性推理规则

唐郑熠 ( 副教授 ) 赞
的个人主页 http://faculty.fjut.edu.cn/tangzhengyi/zh_CN/index.htm
副教授硕士生导师

论文成果当前位置：中文主页 >> 科学研究 >> 论文成果

行为时序逻辑中四级公平性下的活性推理规则

点击次数：
所属单位：计算机科学与数学学院
发表刊物：计算机应用研究
项目来源：国家自然科学基金项目
论文类型：期刊论文
论文编号：8344
卷号：33
期号：10
页面范围：3045-3048
ISSN号：1001-3695
是否译文：否
CN号：51-1196/TP
发表时间：2016-10-01

上一条：应用技术大学数学基础课程的教学改革探索——以计算机类专业为例

下一条：实时互斥协议的形式化建模与自动验证