行为时序逻辑中四级公平性下的活性推理规则
发布时间：2018-06-04 点击次数：次
所属单位：计算机科学与数学学院
发表刊物：计算机应用研究
项目来源：国家自然科学基金项目
论文类型：期刊论文
论文编号：8344
卷号：33
期号：10
页面范围：3045-3048
ISSN号：1001-3695
是否译文：否
CN号：51-1196/TP
发表时间：2016-10-01