拉梅亚·库马尔;克劳斯·施耐德;托马斯·克罗普夫 在高阶定理证明环境中构造和自动化硬件证明。 (英语) Zbl 0778.68074号 形式方法系统。设计。 第2期,第165-223页(1993年). 审核人:沃尔夫冈·沃格尔盖桑 MSC公司:68吨15 94C12号机组 PDF格式BibTeX公司 XML格式引用 \textit{R.Kumar}等人,《形式方法系统》。设计。2,编号2165-223(1993年;兹bl 0778.68074) 全文: 内政部
帕特丽斯·戈德弗里德;皮埃尔·沃尔珀 使用偏序对死锁自由度和安全性进行有效验证。 (英语) 兹比尔0772.68064 形式方法系统。设计。 第2期,第149-164页(1993年).MSC公司:60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Godefroid}和\textit{P.Wolper},形式方法系统。设计。2,第2号,149--164(1993;Zbl 0772.68064) 全文: 内政部
牧场克利夫兰;伯恩哈德·斯特芬 无交互模态微积分的线性时间模型检测算法。 (英语) 兹比尔0772.68038 形式方法系统。设计。 2,第2期,121-147(1993).MSC公司:2010年第68季度 03B45 PDF格式BibTeX公司 XML格式引用 \textit{R.克利夫兰}和\textit{B.Steffen},《形式方法系统》。设计。2,第2号,121--147(1993;Zbl 0772.68038) 全文: 内政部