Aleksandar Zeljić;Christoph M.温特斯泰格。;菲利普·吕默 求解器和决策过程的近似框架。 (英语) Zbl 1409.68265号 J.汽车。推理 58,第1期,127-147(2017).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Zeljić}等人,J.Autom。推理58,No.1,127--147(2017;Zbl 1409.68265) 全文: 内政部 链接
亚历山大·泽尔吉奇;克里斯托弗·温特斯泰格。;菲利普·吕默 使用mcSAT确定位向量公式。 (英语) Zbl 1475.68226号 Creignou,Nadia(编辑)等人,《满意度测试的理论和应用——2016年SAT》。第19届国际会议,法国波尔多,2016年7月5-8日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9710, 249-266 (2016).MSC公司:68兰特 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Zeljić}等人,Lect。注释计算。科学。9710,249--266(2016;Zbl 1475.68226) 全文: 内政部
拜伦·库克;丹尼尔·克罗宁;菲利普·吕默;Christoph M.温特斯泰格。 位向量关系的排序函数综合。 (英语) Zbl 1291.68138号 形式方法系统。设计。 43,第1期,93-120(2013).MSC公司:68号30 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Cook}等人,《形式方法系统》。设计。43,第1号,93-120(2013;Zbl 1291.68138) 全文: 内政部 链接
丹尼尔·克罗宁;娜塔莎·莎莉吉娜;斯特凡诺·托内塔;阿里亚克西·齐托维奇;Christoph M.温特斯泰格。 使用状态和转换不变量的循环摘要。 (英语) Zbl 1291.68262号 形式方法系统。设计。 42,第3期,221-261(2013).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Kroening}等人,《形式方法系统》。设计。42,第3号,221--261(2013;Zbl 1291.68262) 全文: 内政部 链接
Christoph M.温特斯泰格。;尤塞夫·哈马迪;莱昂纳多·德·莫拉 有效求解量化位向量公式。 (英语) Zbl 1284.03212号 形式方法系统。设计。 42,第1期,3-23(2013).MSC公司:03B70号 60年第68季度 68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.M.Wintersteiger}等人,《形式方法系统》。设计。42,第1号,第3--23号(2013;Zbl 1284.03212) 全文: 内政部
阿里亚克西·齐托维奇;娜塔莎·莎莉吉娜;Christoph M.温特斯泰格。;丹尼尔·克罗宁 回路总结和终止分析。 (英语) Zbl 1315.68106号 Abdulla,Parosh Aziz(编辑)等人,《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议(TACAS 2011),是欧洲软件理论与实践联合会议(ETAPS 2011)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-19834-2/pbk)。计算机科学讲座笔记660581-95(2011)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Tsitovich}等人,Lect。注释计算。科学。660581-95(2011年;Zbl 1315.68106) 全文: 内政部
丹尼尔·克罗宁;娜塔莎·莎莉吉娜;斯特凡诺·托内塔;阿里亚克西·齐托维奇;Christoph M.温特斯泰格。 使用抽象变换器的循环摘要。 (英语) Zbl 1183.68377号 Cha,Sungdeok(Steve)(编辑)等人,《验证和分析自动化技术》。2008年10月20日至23日,第六届国际研讨会,亚洲电视协会,韩国首尔。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-88386-9/pbk)。《计算机科学讲义》531111-125(2008)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kroening}等人,Lect。注释计算。科学。53111-125(2008年;Zbl 1183.68377) 全文: 内政部