程序性质的描述及证明

---

Autoria(s): 官荷卿; 郭亮

Data(s)	2003
Identificador	http://ir.iscas.ac.cn/handle/311060/5054 http://www.irgrid.ac.cn/handle/1471x/67006
Fonte	官荷卿; 郭亮.程序性质的描述及证明,计算机科学,2003,30(3):
Palavras-Chave	#TemporallogiclanguageXYZ/E #Dekkeralgorithm #Specification #Prove #Liveness #Safety
Tipo	期刊论文