Joost-Pieter卡托恩;丹尼尔·克林克;马丁·勒克;维雷娜·沃尔夫 概率系统的三值抽象。 (英语) Zbl 1277.68219号 J.日志。阿尔盖布。程序。 81,第4期,356-389(2012).MSC公司:87年第68季度 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Katoen}等人,J.Log。阿尔盖布。程序。81,第4号,356--389(2012;Zbl 1277.68219) 全文: DOI程序
乌卡丘库·恩杜克武 生成概率B中定量安全规范的反例。 (英语) Zbl 1269.68047号 J.日志。阿尔盖布。程序。 81,第1期,26-45(2012).MSC公司:68号30 68甲15 87年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{U.Ndukwu},J.Log。阿尔盖布。程序。81,编号1,26-45(2012年;兹bl 1269.68047) 全文: DOI程序
莫里斯·比克。;格内西、斯特凡尼亚;迭戈·拉特拉;梅克·马西克;毛里齐奥·塞巴斯蒂安尼斯;詹卢卡·特伦塔尼 协助设计群件系统-模型检查智囊团的可用性方面。 (英语) Zbl 1183.68363号 J.日志。阿尔盖布。程序。 78,第4191-232号(2009年).MSC公司:60年第68季度 03B44号 68号30 2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}等人,J.Log。阿尔盖布。程序。78,第4号,191--232(2009;Zbl 1183.68363) 全文: DOI程序
A.K.McIver。;冈萨利亚,C。;科恩,E。;C.C.摩根。 使用概率Kleene代数pKA进行协议验证。 (英语) Zbl 1148.68034号 J.日志。阿尔盖布。程序。 76,第1号,90-111(2008).MSC公司:60年第68季度 68个M12 68米14 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.K.McIver}等人,J.Log。阿尔盖布。程序。76,第1号,90--111(2008;Zbl 1148.68034) 全文: DOI程序
曼努埃尔·努涅斯 概率过程的代数理论。 (英语) Zbl 1048.68057号 J.日志。阿尔盖布。程序。 56,第1-2号,117-177(2003).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Nüñez},J.Log。阿尔盖布。程序。56,编号1--2,117-177(2003;Zbl 1048.68057) 全文: DOI程序
彼得·巴赫霍尔茨;Joost-Pieter卡托恩;彼得·坎佩尔;卡斯滕·泰珀 对大型结构化马尔可夫链进行模型检验。 (英语) Zbl 1048.68053号 J.日志。阿尔盖布。程序。 56,第1-2号,69-97(2003).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Buchholz}等人,J.Log。阿尔盖布。程序。56,编号1--2,69-97(2003;Zbl 1048.68053) 全文: DOI程序
霍尔格·赫尔曼斯;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;马库斯·西格尔 关于使用MTBDD进行随机系统的性能分析和验证。 (英语) Zbl 1054.68018号 J.日志。阿尔盖布。程序。 56,第1-2期,23-67(2003).MSC公司:68平方米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Hermanns}等人,J.Log。阿尔盖布。程序。56,编号1--2,23-67(2003;Zbl 1054.68018) 全文: DOI程序
迭戈·卡佐拉;费尔南多·库亚特罗;瓦伦蒂安·瓦莱罗;费尔南多·佩莱奥。;J.JoséPardo 概率和不确定性过程的代数理论。 (英语) Zbl 1054.68091号 J.日志。阿尔盖布。程序。 55,编号1-2,57-103(2003).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Cazorla}等人,J.Log。阿尔盖布。程序。55,编号1--2,57-103(2003;Zbl 1054.68091) 全文: DOI程序