萨尔瓦多卢卡斯 证明语义属性为一阶可满足性。 (英语) Zbl 1478.68356号 工件。智力。 277,文章ID 103174,24 p.(2019).MSC公司:68T27型 68N17号 第68页,共15页 2012年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas},阿蒂夫。智力。277,文章ID 103174,24 p.(2019;Zbl 1478.68356) 全文: 内政部 链接
阿列克谢·利西萨 有限的安全理由。通过有限模型发现进行参数化验证。 (英语) Zbl 1314.68185号 J.汽车。推理 51,第4期,431-451(2013).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Lisitsa},J.奥托姆。推理51,No.4,431--451(2013;Zbl 1314.68185) 全文: 内政部