安德鲁·索戈孔;保罗·B·杰克逊。;泰勒·T·约翰逊。 使用流管道和连续不变量验证混合系统中的安全性和持久性。 (英语) Zbl 1468.68135号 J.汽车。推理 63,第4号,1005-1029(2019).MSC公司:60年第68季度 65年第68季度 93个B03 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Sogokon}等人,J.Autom。推理63,No.4,1005--1029(2019;Zbl 1468.68135) 全文: 内政部 链接
格拉泽戈兹·班塞雷克;Czesław拜林斯基;亚当·格拉博夫斯基;阿图尔·科尔尼·奥维茨;罗马人Matuszewski;亚当·纳莫维奇;Pąk,卡罗尔 Mizar数学库在Mizar交互式证明开发中的作用。 (英语) Zbl 1433.68530号 J.汽车。推理 61,编号1-4,9-32(2018).MSC公司:68伏15 68V20型 68伏30 PDF格式BibTeX公司 XML格式引用 \textit{G.Bancerek}等人,J.Autom。推理61,No.1--4,9-32(2018;Zbl 1433.68530) 全文: 内政部
保罗·凯恩斯;杰里米·高 在Mizar中集成搜索和创作。 (英语) 邮编1129.68500 J.汽车。推理 39,第2期,141-160(2007).MSC公司:68吨15 68第20页 PDF格式BibTeX公司 XML格式引用 \textit{P.Cairns}和\textit{J.Gow},J.Autom。推理39,No.2,141--160(2007;Zbl 1129.68500) 全文: 内政部