亚历山德罗·西马蒂；阿尔贝托·格里乔；恩里科·马格纳戈；马可·罗维里；斯特凡诺·托内塔 基于SMT的具有事件冻结函数和度量算子的一阶LTL的可满足性。 （英语） Zbl 1443.68104号 Inf.计算。 272，文章ID 104502，17 p.（2020）.MSC公司：60年第68季度 03B44号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，《信息计算》。272，文章ID 104502，第17页（2020；Zbl 1443.68104） 全文： 内政部
雅罗斯拉夫·本迪克；埃拉赫·加萨巴尼；迈克尔·威伦；伊万娜·乔纳 在线枚举所有最小归纳有效性核心。 （英语） Zbl 1509.68158号 Johnsen，Einar Broch（编辑）等人，《软件工程和形式化方法》。2018年6月27日至29日，作为2018年STAF的一部分，在法国图卢兹举行了第16届国际会议SEFM 2018。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10886, 189-204 (2018).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Bendík}等人，Lect。票据计算。科学。10886、189--204（2018；Zbl 1509.68158） 全文： 内政部
亚历山德罗·西马蒂；塞尔吉奥·莫弗；斯特凡诺·托内塔 混合系统基于SMT的场景验证。 （英语） 兹比尔1284.03216 形式方法系统。设计。 42，第1期，46-66（2013）.MSC公司：05年3月 60年第68季度 68T20型 65年第68季度 03B44号 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，《形式方法系统》。设计。42，第1号，46--66（2013；Zbl 1284.03216） 全文： 内政部