阿瓜多,F。;Ascaliz,P。;卡巴拉,P。;佩雷斯,G。;维达尔,C。 ASP指称语义的验证:使用PVS定理证明器的案例研究。 (英语) Zbl 1407.68429号 日志。J.IGPL公司 25,第2期,195-213(2017).MSC公司:第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{F.Aguado}等人,日志。J.IGPL 25,第2期,195--213(2017;Zbl 1407.68429) 全文: 内政部
胡安·比卡雷奎;提奥·迪米特拉科斯;Dov Gabbay公司;蒂姆·迈鲍姆 实际形式发展中的插值。 (英语) Zbl 0981.03035号 日志。J.IGPL公司 9,第2期,231-243(2001). 审核人:Alberto Pettorosi(罗马) MSC公司:03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Bicarregui}等人,日志。J.IGPL 9,第2期,231--243(2001;Zbl 0981.03035) 全文: 内政部 链接
摩根,卡罗尔;Annabelle K.McIver。 概率时序逻辑的期望变换器模型。 (英语) Zbl 1073.68679号 日志。J.IGPL公司 7,第6号,779-804(1999).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{C.Morgan}和\textit{A.K.McIver},Log。J.IGPL 7,第6号,779--804(1999;Zbl 1073.68679) 全文: 内政部 链接