尤尔根·鲁夫;托马斯·克罗普夫 离散时间系统的符号验证和分析。 (英语) Zbl 1065.68070号 形式方法系统。设计。 第1期第23页,第67-108页(2003年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Ruf}和\textit{T.Kropf},《形式方法系统》。设计。23,第1号,67--108(2003;Zbl 1065.68070) 全文: 内政部
Schneider,Klaus公司;拉梅亚·库马尔;托马斯·克罗普夫 使用紧凑表示加速表格证明。 (英语) 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) 全文: 内政部
拉梅亚·库马尔;Schneider,Klaus公司;托马斯·克罗普夫 在高阶定理证明环境中构造和自动化硬件证明。 (英语) Zbl 0778.68074号 形式方法系统。设计。 第2期,第165-223页(1993年). 审核人:沃尔夫冈·沃格尔盖桑 MSC公司:68吨15 94C12号机组 PDF格式BibTeX公司 XML格式引用 \textit{R.Kumar}等人,《形式方法系统》。设计。2,编号2165-223(1993年;兹bl 0778.68074) 全文: 内政部