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

---

Autoria(s): 易锦; 张文辉

Data(s)	2006
Identificador	http://ir.iscas.ac.cn/handle/311060/4654 http://www.irgrid.ac.cn/handle/1471x/66986
Fonte	易锦; 张文辉.从基于迁移的扩展Büchi自动机到Büchi自动机,软件学报,2006,17(4):
Palavras-Chave	#模型检测 #Büchi自动机 #LTL(lineartemporallogic)公式 #TGBA(transition-basedgeneralizedBüchiautomaton)
Tipo	期刊论文