拜尔,C。;E.M.哈恩。;B.R.哈维尔科特。;H·赫尔曼斯。;J.-P.卡托恩。 模型性能检查。 (英语) Zbl 1358.68181号 数学。结构。计算。科学。 23,第4期,751-795(2013).MSC公司:60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,数学。结构。计算。科学。23,第4号,751--795(2013;Zbl 1358.68181) 全文: 内政部
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年;兹bl 1277.68219) 全文: 内政部
彼得·巴赫霍尔茨;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) 全文: 内政部