亚历山德罗·西马蒂;阿尔贝托·格里乔;塞尔吉奥·莫弗;马可·罗维里;斯特凡诺·托内塔 验证模理论。 (英语) Zbl 07757158号 形式方法系统。设计。 60,编号3,452-481(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《形式方法系统》。设计。60,编号3,452--481(2022;Zbl 07757158) 全文: 内政部 OA许可证
塞尔吉·博戈莫洛夫;戈兰·弗雷斯;米尔科·贾科布;托马斯·亨辛格(Thomas A.Henzinger)。 模板多面体的反例引导细化。 (英语) Zbl 1452.68099号 Legay,Axel(编辑)等人,《系统构建和分析的工具和算法》。2017年4月22日至29日,第23届国际会议,TACAS 2017,作为欧洲软件理论和实践联席会议的一部分,ETAPS 2017,瑞典乌普萨拉。诉讼程序。第一部分柏林:施普林格。莱克特。注释计算。科学。10205589-606(2017)中描述。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bogomolov}等人,Lect。注释计算。科学。10205、589--606(2017;Zbl 1452.68099) 全文: 内政部 链接