塞尔吉·博戈莫洛夫；戈兰·弗雷斯；米尔科·贾科布；托马斯·亨辛格（Thomas A.Henzinger）。 模板多面体的反例引导细化。 （英语） Zbl 1452.68099号 Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第一部分柏林：施普林格。莱克特。票据计算。科学。10205, 589-606 (2017).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bogomolov}等人，Lect。票据计算。科学。10205、589--606（2017；Zbl 1452.68099） 全文： 内政部 链接
帕维特拉·普拉巴卡；帕拉萨拉·斯里达尔·达吉拉拉；萨扬·密特拉；马赫什·维斯瓦纳坦 矩形混合系统的基于混合自动机的CEGAR。 （英语） Zbl 1341.68109号 形式方法系统。设计。 46，第2期，105-134（2015）.MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Prabhakar}等人，《形式方法系统》。设计。46，No.2，105--134（2015；Zbl 1341.68109） 全文： 内政部
亚历山德罗·西马蒂；伊曼·纳拉萨姆迪亚；马可·罗维里 使用显式调度程序和符号线程进行软件模型检查。 （英语） Zbl 1254.68074号 日志。方法计算。科学。 8，第2号，第18号论文，42页（2012）.MSC公司：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，《日志》。方法计算。科学。8，第2号，第18号论文，42页（2012；Zbl 1254.68074） 全文： 内政部 arXiv公司