劳伦斯·C·鲍尔森。;托比亚斯·尼普科;马卡里乌斯·温泽尔 从LCF到Isabelle/HOL。 (英语) Zbl 1427.68349号 正式Asp。计算。 31,第6号,675-698(2019).MSC公司:68伏15 68-03 PDF格式BibTeX公司 XML格式引用 \textit{L.C.Paulson}等人,正式Asp。计算。31,第6号,675--698(2019;Zbl 1427.68349) 全文: 内政部 arXiv公司
Yousefi、Behnaz;法特梅·加塞米;拉丁·科斯拉维 无线自组织网络的建模和有效验证。 (英语) Zbl 1377.68028号 正式Asp。计算。 29,第6号,1051-1086(2017).MSC公司:68M10个 68个M12 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Yousefi}等人,正式Asp。计算。29,第6号,1051--1086(2017;Zbl 1377.68028) 全文: 内政部 arXiv公司
丹尼尔·克罗宁;斯特里赫曼(Ofer Strichman) 可满足性模理论的框架。 (英语) Zbl 1192.68647号 正式Asp。计算。 21,第5期,485-494(2009).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Kroening}和\textit{O.Strichman},正式Asp。计算。21,第5号,485--494(2009;Zbl 1192.68647) 全文: 内政部