从基于迁移的扩展Büchi自动机到Büchi自动机

	从基于迁移的扩展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).