瑟·特凡·乔巴赫;多雷尔·卢卡努;弗拉德·鲁苏;格里高·罗什乌 一个独立于语言的完整程序等价性证明系统。 (英语) Zbl 1355.68051号 正式Asp。计算。 28,第3期,469-497(2016).MSC公司:68号30 03B70号 08A70型 PDF格式BibTeX公司 XML格式引用 \textit{ö.Ciobác}等人,《形式Asp》。计算。28,第3号,469--497(2016;Zbl 1355.68051) 全文: 内政部 哈尔
理查德·巴纳赫;马可·波扎诺 通过缩减来机械生成反应系统的故障树。二、。时钟和反馈电路。 (英语) 兹比尔1298.68051 正式Asp。计算。 25,第4期,609-657(2013).MSC公司:68米15 68号30 94立方厘米 94C12号机组 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}和\textit{M.Bozzano},正式Asp。计算。25,编号4609-657(2013年;兹bl 1298.68051) 全文: 内政部
理查德·巴纳赫;马可·波扎诺 通过缩减来机械生成反应系统的故障树。I.组合电路。 (英语) Zbl 1298.68050号 正式Asp。计算。 25,第4期,573-607(2013).MSC公司:68米15 68号30 94立方厘米 94C12号机组 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}和\textit{M.Bozzano},正式Asp。计算。25,第4号,573--607(2013;Zbl 1298.68050) 全文: 内政部
彼得·霍夫纳;伯恩哈德·莫勒 迪克斯特拉、弗洛伊德和沃沙尔将会见克莱恩。 (英语) Zbl 1259.68243号 正式Asp。计算。 24,第4-6号,459-476(2012).MSC公司:68瓦30 2016年60月 08A70型 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner}和\textit{B.Möller},正式Asp。计算。24、编号4--6、459--476(2012;Zbl 1259.68243) 全文: 内政部 链接
你好,托尼;范·斯塔登(Stephan van Staden) 赞美代数。 (英语) Zbl 1259.68030号 正式Asp。计算。 24,编号4-6,423-431(2012).MSC公司:第68页第19页 03B70号 68问题85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Hoare}和\textit{S.van Staden},正式Asp。计算。24,编号4--6423--431(2012;Zbl 1259.68030) 全文: 内政部
默多克·J·加贝。;亚德·马蒂杰森 作为名义代数的避免捕获的替换。 (英语) Zbl 1152.68025号 正式Asp。计算。 20,编号4-5,451-479(2008).MSC公司:2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}和\textit{A.Mathijssen},正式Asp。计算。20,编号4--5451-479(2008年;兹bl 1152.68025) 全文: 内政部
巴哈雷赫巴德班;Wan Fokkink公司;Jan Friso,格鲁特;庞、军;范德波尔(Jaco van de Pol) 在CRL和PVS中验证滑动窗口协议。 (英语) Zbl 1101.68309号 正式Asp。计算。 17,第3期,342-388(2005).MSC公司:68M10个 PDF格式BibTeX公司 XML格式引用 \textit{B.Badban}等人,正式Asp。计算。17,第3号,342--388(2005;Zbl 1101.68309) 全文: 内政部
弗雷德里克·奥拉瓦;若阿希姆·帕罗 移动网络的代数验证。 (英语) Zbl 0782.68081号 正式Asp。计算。 4,第6期,497-543(1992).MSC公司:第68季度第60季度 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{F.Orava}和\textit{J.Parrow},正式Asp。计算。4,第6号,497--543(1992;Zbl 0782.68081) 全文: 内政部