秦旭东;西蒙·布利兹;艾瑞克·马德琳;侯泽晨;邓玉欣;张敏 基于SMT的符号自动机生成。 (英语) Zbl 1443.68114号 学报信息。 57,编号3-5,627-656(2020).MSC公司:68问题85 65年第68季度 第68季度55 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{X.Qin}等人,Acta Inf.57,No.3-5627-656(2020;兹bl 1443.68114) 全文: 内政部
马,钱;段振华;张楠;王晓兵 用MSVL公理系统验证分布式系统。 (英语) Zbl 1328.68032号 正式Asp。计算。 27,第1期,103-131(2015).MSC公司:64岁以下 68N17号 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{Q.Ma}等人,正式Asp。计算。27,第1号,第103--131条(2015;Zbl 1328.68032) 全文: 内政部