亚历山德罗·西马蒂;阿尔贝托·格里乔;恩里科·马格纳戈 长期贷款无限状态系统中的证伪。 (英语) Zbl 07629158号 Inf.计算。 289,A部分,文章ID 104977,43 p.(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《信息计算》。289,A部分,文章ID 104977,43 p.(2022;Zbl 07629158) 全文: 内政部
斯特凡·舒普;艾丽卡·阿尔布拉汉姆;特里斯坦·埃伯特 混合系统验证理论和工具支持的最新发展HyPro公司. (英语) Zbl 07629138号 Inf.计算。 289,A部分,文章ID 104945,25 p.(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Schupp}等人,《信息计算》。289,A部分,文章ID 104945,25 p.(2022;Zbl 07629138) 全文: 内政部
亚历山德罗·西马蒂;阿尔贝托·格里乔;恩里科·马格纳戈;马可·罗维里;斯特凡诺·托内塔 基于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 p.(2020;Zbl 1443.68104) 全文: 内政部
亚历山德罗·西马蒂;马可·罗维里;斯特凡诺·托内塔 HRELTL:混合系统的时序逻辑。 (英语) Zbl 1332.68139号 Inf.计算。 245,54-71(2015).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,信息计算。245、54-71(2015;Zbl 1332.68139) 全文: 内政部