托拜厄斯·舒勒;克劳斯·施耐德 无限状态系统的有界模型检验。 (英语) 兹伯利1117.68047 形式方法系统。设计。 30,第1号,51-81(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Schuele}和\textit{K.Schneider},《形式方法系统》。设计。30,第1号,51--81(2007;Zbl 1117.68047) 全文: 内政部
克劳斯·施耐德;拉梅亚·库马尔;托马斯·克罗普夫 使用紧凑表示加速表格证明。 (英语) Zbl 0808.03006号 形式方法系统。设计。 5,第1-2号,第145-176页(1994年). 审核人:U.Schöning(乌尔姆) MSC公司:03B35型 68吨15 20层03 PDF格式BibTeX公司 XML格式引用 \textit{K.Schneider}等人,《形式方法系统》。设计。5,编号1--2,145--176(1994;Zbl 0808.03006) 全文: 内政部
拉梅亚·库马尔;克劳斯·施耐德;托马斯·克罗普夫 在高阶定理证明环境中构造和自动化硬件证明。 (英语) Zbl 0778.68074号 形式方法系统。设计。 第2期,第165-223页(1993年). 审核人:沃尔夫冈·沃格尔盖桑 MSC公司:68吨15 94C12号机组 PDF格式BibTeX公司 XML格式引用 \textit{R.Kumar}等人,《形式方法系统》。设计。2,第2号,165--223(1993;Zbl 0778.68074) 全文: 内政部