马可·波扎诺;亚历山德罗·西马蒂;克里斯蒂安·马塔雷 冗余体系结构的形式化可靠性分析。 (英语) Zbl 1425.68039号 正式Asp。计算。 第1期第31页,第59-94页(2019年).MSC公司:68米15 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozzano}等人,正式Asp。计算。31,第1号,59-94(2019;Zbl 1425.68039) 全文: 内政部
Mark Kattenbelt公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 PRISM中基于博弈的概率谓词抽象。 (英语) Zbl 1286.68316号 Aldini,Alessandro(编辑)等人,第六届编程语言定量方面研讨会论文集(QAPL 2008),匈牙利布达佩斯,2008年3月29日至30日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》220,第3期,5-21页(2008年)。MSC公司:60年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{M.Kattenbelt}等人,《电子》。注释Theor。计算。科学。220,编号3,5--21(2008;Zbl 1286.68316) 全文: 内政部