您当前的位置：
首页 >
文章列表页 >
基于启发式SCCs的广义Büchi 自动机判空检测算法
基于启发式SCCs的广义Büchi 自动机判空检测算法
Heuristic SCCs Emptiness Checking Algorithm for Generalized Büchi Automata
- 电子学报 2012年40卷第1期 页码：95-102
DOI： 10.3969/j.issn.0372-2112.2012.01.016
移动端阅览
HTML全文
参考文献
出版信息
数据统计
80
浏览量
1260
下载量
1
CSCD
文章被引用时，请邮件提醒。
提交
工具集
- BibTeX下载
- Endnote下载
- RefMan 下载
- NoteExpress下载
- NoteFirst下载
相关文章
时间感知Web服务交互行为建模与失配检测方法研究
实时模型检测中基于驻留环的精确加速
基于XYZ/ADL的Web服务组合描述与验证
缓冲区溢出漏洞精确检测方法研究
模型检测:理论、方法与应用
相关作者
Sheng
王
戎玫
张广泉
王从银
庄雷
尹传龙
何亚丽
相关机构
暨南大学深圳旅游学院广东深圳
中国科学院计算机科学国家重点实验室北京
苏州大学计算机科学与技术学院江苏苏州
暨南大学深圳旅游学院
中国科学院计算机科学国家重点实验室
