西尔维奥·吉拉尔迪;埃琳娜·帕加尼 高阶量词消除、反仿真和容错系统。 (英语) Zbl 07356977号 J.自动化。推理 65,编号3,425-460(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}和\textit{E.Pagani},J.Autom。推理65,No.3,425--460(2021;Zbl 07356977) 全文: 内政部 OA许可证
F.阿尔贝蒂。;吉拉尔迪,S。;E.帕加尼。 阵列的基数约束(可判定性结果和应用)。 (英语) Zbl 1377.68125号 形式方法系统。设计。 第351545-574号(2017).MSC公司:60年第68季度 03B70型 65年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{F.Alberti}等人,《形式方法系统》。设计。51,第3号,545--574(2017;Zbl 1377.68125) 全文: 内政部