斯特凡·库普弗施米德;马修·刘易斯;舒伯特、托比亚斯;贝恩德·贝克尔 BMC中使用的增量预处理方法。 (英语) Zbl 1247.68167号 形式方法系统。设计。 39,第2期,185-204(2011).MSC公司:60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kupferschmid}等人,《形式方法系统》。设计。39,第2号,185--204(2011;Zbl 1247.68167) 全文: 内政部
马丁·凯姆;罗尔夫·德雷克斯勒;贝恩德·贝克尔;迈克尔·马丁;保罗·莫里托 乘数的多项式形式验证。 (英语) Zbl 1033.68075号 形式方法系统。设计。 22,第1期,39-58(2003).MSC公司:第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Keim}等人,《形式方法系统》。设计。22、第1号、第39-58号(2003;Zbl 1033.68075) 全文: 内政部
克里斯托夫·斯科尔;贝恩德·贝克尔;托马斯·维斯 关于WLCD和单词级决策图的复杂性-除法的下限。 (英语) Zbl 1017.68068号 形式方法系统。设计。 20,第3期,311-326(2002).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Scholl}等人,《形式方法系统》。设计。20,第3号,311--326(2002;Zbl 1017.68068) 全文: 内政部