软件导刊2016，Vol.15Issue(2)：1-3,3.DOI:10.11907/rjdk.1511227
基于二支决策和三支决策视角的μ-演算局部模型检测
摘要
关键词
三支决策/局部模型检测/μ-演算/不动点分类
信息技术与安全科学引用本文复制引用
李前利,江华..基于二支决策和三支决策视角的μ-演算局部模型检测[J].软件导刊,2016,15(2):1-3,3.基金项目
国家自然科学基金项目(61472406) （61472406）
福建省自然科学基金项目(2015J01269) （2015J01269）
闽南师范大学人才引进项目(2013) （2013）
