反应系统的连续时序逻辑表示和验证

---

Autoria(s): 李广元; 唐稚松

Data(s)	2003
Identificador	http://ir.iscas.ac.cn/handle/311060/5078 http://www.irgrid.ac.cn/handle/1471x/67024
Fonte	李广元; 唐稚松.反应系统的连续时序逻辑表示和验证,计算机学报,2003,26(11):
Palavras-Chave	#反应系统 #公平转换系统 #时序逻辑 #性质验证 #可判定性
Tipo	期刊论文