巴哈雷赫巴德班;马丁·兰格 使用SMT求解器对时间自动机进行精确增量分析。 (英语) Zbl 1348.68118号 Fahrenberg,Uli(编辑)等人,定时系统的形式化建模和分析。2011年9月21日至23日,第九届国际会议,FORMATS 2011,丹麦奥尔堡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24309-7/pbk)。计算机科学课堂讲稿6919,177-192(2011)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Badban}和\textit{M.Lange},莱克特。注释计算。科学。6919、177--192(2011年;Zbl 1348.68118) 全文: 内政部
巴哈雷赫巴德班;范德波尔(Jaco Van De Pol);奥尔加·特维雷蒂纳;汉斯·赞特马 推广DPLL和等式的可满足性。 (英语) 兹比尔1121.68102 Inf.计算。 205,第8期,1188-1211(2007).MSC公司:68吨15 68T20型 03B25号 03立方厘米35 PDF格式BibTeX公司 XML格式引用 \textit{B.Badban}等人,《信息计算》。205,第8号,1188--1211(2007;Zbl 1121.68102) 全文: 内政部 链接