Jörg Brauer;安迪·金;斯特凡·科瓦列夫斯基 单片机代码的抽象解释:区间满足同余。 (英语) Zbl 1284.68167号 科学。计算。程序。 78,第7期,862-883(2013).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Brauer}等人,科学。计算。程序。78,第7号,862--883(2013;Zbl 1284.68167) 全文: 内政部
克里斯蒂娜·帕利卡列娃;约尔·瓦克宁;A.W.罗斯科。 CSP跟踪细化中的SAT求解。 (英语) Zbl 1243.68216号 科学。计算。程序。 77,第10-11号,1178-1197(2012).MSC公司:60年第68季度 68T20型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Palikareva}等人,科学。计算。程序。77,No.10--11,1178--1197(2012;Zbl 1243.68216) 全文: 内政部
维克多·舒潘 关于LTL的不可满足和不可实现核心的概念。 (英语) Zbl 1242.68075号 科学。计算。程序。 77,编号7-8,908-939(2012).MSC公司:68号30 68T20型 03B70号 PDF格式BibTeX公司 XML格式引用 \文本{V.Schuppan},科学。计算。程序。77号7--8908--939(2012;Zbl 1242.68075) 全文: 内政部