Hidalgo-Doblado,M.J。;阿隆索-吉梅内斯,J.A。;Borrego-Díaz,J。;马丁·马特奥斯(F.J.Martín-Mateos)。;鲁伊斯·雷纳,J.L。 用于描述逻辑的正式验证的基于表格的推理器。 (英语) Zbl 1314.68282号 J.汽车。推理 52,第3期,331-360(2014).MSC公司:第68页第15页 60年第68季度 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Hidalgo-Doblado}等人,J.Autom。推理52,No.3,331--360(2014;Zbl 1314.68282) 全文: 内政部 链接
亚历山大·马尔基斯;安妮迪亚·班纳吉 关于软件障碍验证中的自动化:经验报告。 (英语) Zbl 1314.68186号 J.汽车。推理 52,第3期,275-329(2014).MSC公司:60年第68季度 03B70号 第68页第15页 03B35型 68瓦40 68问题55 2010年第68季度 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{A.Malkis}和\textit{A.Banerjee},J.Autom。推理52,No.3,275--329(2014;Zbl 1314.68186) 全文: 内政部
艾亚德·阿尔卡萨;Böhme,萨沙;库尔特·梅尔霍恩;克里斯汀·里兹卡拉 验证验证计算的框架。 (英语) 兹伯利1314.68180 J.汽车。推理 52,第3期,241-273(2014).MSC公司:60年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{E.Alkassar}等人,J.Autom。推理52,No.3,241--273(2014;Zbl 1314.68180) 全文: 内政部 arXiv公司 链接