塞巴斯蒂安·荣格斯;古克,丹尼斯;Joost-Pieter卡托恩;阿伦德·伦辛克;玛丽·斯托琳加 饮食中的故障树:通过图形重写实现自动减少。 (英语) Zbl 1370.68063号 正式Asp。计算。 29,第4期,651-703(2017).MSC公司:68第05页 68米15 第68季度第42季度 94C12号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Junges}等人,正式Asp。计算。29,第4号,651--703(2017;Zbl 1370.68063) 全文: 内政部 链接
克里希南德·查特吉;维什瓦纳斯·拉曼 假设数字合同签订的担保合成。 (英语) Zbl 1342.94068号 正式Asp。计算。 26,第4期,825-859(2014).MSC公司:94A60型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{V.Raman},正式Asp。计算。26,第4号,825--859(2014;Zbl 1342.94068) 全文: 内政部
理查德·巴纳赫;马可·波扎诺 通过缩减来机械生成反应系统的故障树。二、。时钟和反馈电路。 (英语) Zbl 1298.68051号 正式Asp。计算。 25,第4期,609-657(2013).MSC公司:68米15 68号30 94立方厘米 94C12号机组 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}和\textit{M.Bozzano},正式Asp。计算。25,第4号,609--657(2013;Zbl 1298.68051) 全文: 内政部
理查德·巴纳赫;马可·波扎诺 通过缩减来机械生成反应系统的故障树。I.组合电路。 (英语) Zbl 1298.68050号 正式Asp。计算。 25,第4期,573-607(2013).MSC公司:68米15 68号30 94立方厘米 94C12号机组 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}和\textit{M.Bozzano},正式Asp。计算。25,第4号,573--607(2013;Zbl 1298.68050) 全文: 内政部
李永坚;庞、军 链空间的归纳方法。 (英语) Zbl 1298.68083号 正式Asp。计算。 25,第4期,465-501(2013).MSC公司:68第25页 68个M12 68吨15 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}和\textit{J.Pang},正式Asp。计算。25,第4号,465--501(2013;Zbl 1298.68083) 全文: 内政部
A.K.McIver。;摩根,C。 基于代理的安全协议中的组合优化。 (英语) Zbl 1245.68065号 正式Asp。计算。 23,第6号,711-737(2011).MSC公司:68号30 94A60型 68个M12 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.K.McIver}和\textit{C.Morgan},正式Asp。计算。23,第6号,711--737(2011;Zbl 1245.68065) 全文: 内政部
埃里克·C·R·海纳。 概率观点。 (英语) Zbl 1236.68197号 正式Asp。计算。 23,第4号,391-419(2011). 审核人:Krzysztof Piasecki(波兹南) MSC公司:68T01型 87年第68季度 68N99型 91A99型 94A99型 60A05型 PDF格式BibTeX公司 XML格式引用 \textit{E.C.R.Hehner},正式Asp。计算。23,第4号,391--419(2011;Zbl 1236.68197) 全文: 内政部
穆罕默德·萨利赫;穆拉德·德巴比 密码协议规范和验证的游戏理论框架。 (英语) Zbl 1211.68254号 正式Asp。计算。 22,第5期,585-609(2010).MSC公司:60年第68季度 91A80型 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Saleh}和\textit{M.Debbabi},正式Asp。计算。22,第5号,585--609(2010;Zbl 1211.68254) 全文: 内政部
艾伦·威廉姆斯 离散性能估计方法在超大规模集成电路设计中的适用性。 (英语) Zbl 0771.68033号 正式Asp。计算。 5,第2期,152-176(1993).MSC公司:68平方米 60年第68季度 94C99号 PDF格式BibTeX公司 XML格式引用 \textit{A.Williams},正式Asp。计算。5,第2号,152--176(1993;Zbl 0771.68033) 全文: 内政部
帕罗什·阿卜杜拉 一类脉动电路的自动验证。 (英语) Zbl 0764.68093号 正式Asp。计算。 4,第2期,149-194(1992).MSC公司:60年第68季度 68米15 94C99号 PDF格式BibTeX公司 XML格式引用 \textit{P.Abdulla},正式Asp。计算。4,第2号,149--194(1992;Zbl 0764.68093) 全文: 内政部
威廉·贝维尔(William R.Bevier)。;威廉·D·杨。 机器检查了容错电路设计的证明。 (英语) Zbl 0760.68063号 正式Asp。计算。 4,No.6A,755-775(1992).MSC公司:68吨15 60年第68季度 94C12号机组 PDF格式BibTeX公司 XML格式引用 \textit{W.R.Bevier}和\textit{W.D.Young},正式Asp。计算。4,编号6A,755-775(1992年;Zbl 0760.68063) 全文: 内政部