ISCAS OpenIR  > 基础软件与系统重点实验室
从基于迁移的扩展Büchi自动机到Büchi自动机
其他题名Efficient Translation from Transition-Based Generalized Büchi Automata to Büchi Automata
易锦; 张文辉
2006
发表期刊软件学报
卷号17期号:4
收录类别wanfang
关键词模型检测 Büchi自动机 Ltl(Lineartemporallogic)公式 Tgba(Transition-basedgeneralizedbüchiautomaton)
部门归属计算机科学国家重点实验室
内容类型期刊论文
URI标识http://ir.iscas.ac.cn/handle/311060/4654
专题基础软件与系统重点实验室
推荐引用方式
GB/T 7714
易锦,张文辉. 从基于迁移的扩展Büchi自动机到Büchi自动机[J]. 软件学报,2006,17(4).
APA 易锦,&张文辉.(2006).从基于迁移的扩展Büchi自动机到Büchi自动机.软件学报,17(4).
MLA 易锦,et al."从基于迁移的扩展Büchi自动机到Büchi自动机".软件学报 17.4(2006).
条目包含的文件
文件名称/大小 文献类型 版本类型 开放类型 使用许可
6.pdf(714KB) 开放获取--请求全文
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[易锦]的文章
[张文辉]的文章
百度学术
百度学术中相似的文章
[易锦]的文章
[张文辉]的文章
必应学术
必应学术中相似的文章
[易锦]的文章
[张文辉]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。