拉贾什·穆克吉;贾瓦哈尔·贾因;高山小一郎;雅各布·A·亚伯拉罕。;Donald S.Fussell。 使用重叠的局部BDD和哈希表进行有效的组合验证。 (英语) Zbl 1018.68049号 形式方法系统。设计。 21,第1期,95-101(2002).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Mukherjee}等人,《形式方法系统》。设计。21,第1号,95--101(2002;Zbl 1018.68049) 全文: 内政部
理查德·雷米;詹姆斯·李尔 使用模型检查对powerPC微处理器进行硅调试。 (英语) Zbl 0994.68534号 形式方法系统。设计。 第1期第21期,第79-94页(2002年).MSC公司:68单位99 2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{R.Raimi}和\textit{J.Lear},《形式方法系统》。设计。21,第1号,79--94(2002;Zbl 0994.68534) 全文: 内政部
凯西·菲斯勒;莫舍·瓦尔迪。 互模拟最小化和符号模型检查。 (英语) Zbl 1018.68052号 形式方法系统。设计。 21,第1期,39-78(2002).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Fisler}和\textit{M.Y.Vardi},《形式方法系统》。设计。21,第1号,39--78(2002;Zbl 1018.68052) 全文: 内政部
拉杜·格罗苏;托马斯·斯塔纳 混合系统的模块化和可视化规范:HyCharts简介。 (英语) Zbl 1018.68047号 形式方法系统。设计。 21,第1期,5-38页(2002年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Grosu}和\textit{T.Stauner},《形式方法系统》。设计。21,第1号,第5--38号(2002;Zbl 1018.68047) 全文: 内政部