基于模糊逻辑的几类Kripke结构之间的关系

关键词： Kripke结构 形式化验证 模糊逻辑 计算树逻辑

作者: 潘海玉 张敏 陈仪香

作者单位: 安徽工程大学计算机与信息学院,安徽芜湖 241000 华东师范大学上海市高可信计算重点实验室,上海 200062

会议类型: 国内会议

会议名称: 中国计算机学会多值逻辑与模糊逻辑专业委员会第十三届学术年会

会议地点: 上海

会议语种:中文

页码: 9-9

在线出版日期: 2012-10-01（万方平台首次上网日期，不代表论文的发表时间）