有限精度时间自动机的可达性检测

---

Autoria(s): 晏荣杰; 李广元; 徐雨波; 刘春明; 唐稚松

Data(s)	2006
Identificador	http://ir.iscas.ac.cn/handle/311060/5074 http://www.irgrid.ac.cn/handle/1471x/67020
Fonte	晏荣杰; 李广元; 徐雨波; 刘春明; 唐稚松.有限精度时间自动机的可达性检测,软件学报,2006,17(1):
Palavras-Chave	#有限精度时间自动机 #符号化方法 #模型检测 #可达性
Tipo	期刊论文