沃纳、博埃纳;安德烈·兹布雷泽兹尼;沃伊切赫·彭泽克 通过SAT检查时间自动机的可达性属性。 (英语) Zbl 1111.68548号 芬丹。通知。 55,第2期,223-241(2003).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Woźna}等人,Fundam。通知。55,第2号,223--241(2003;Zbl 1111.68548)
维克多·舒潘;阿明·比尔 使用SMV验证IEEE 1394 fireWire树标识协议。 (英语) Zbl 1029.68021号 正式Asp。计算。 14,第3期,267-280(2002).MSC公司:68个M12 PDF格式BibTeX公司 XML格式引用 \textit{V.Schuppan}和\textit{A.Biere},正式Asp。计算。14,第36267-280号(2002年;兹bl 1029.68021) 全文: DOI程序
埃德蒙·克拉克;阿明·比尔;瑞米,理查德;朱云山 使用可满足性求解进行有界模型检查。 (英语) 兹伯利0985.68038 形式方法系统。设计。 19,第1期,7-34(2001).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Clarke}等人,《形式方法系统》。设计。19,第1号,第7--34号(2001;Zbl 0985.68038) 全文: DOI程序
福斯托·金奇利亚;保罗·特拉弗索 技术转让中的定理证明:用户的观点。 (英语) Zbl 1060.68633号 国际期刊软件。技术工具。Transf公司。3,第1期,第1-12页(2000年)。MSC公司:68吨15 PDF格式BibTeX公司 XML格式 全文: DOI程序