克里斯特尔·拜尔;布,露西娅;Boudewijn R.哈维尔科特。;霍尔格·赫尔曼斯;Joost-Pieter卡托恩 通过马尔可夫报酬模型的模型检查进行性能评估。 (英语) Zbl 1209.68309号 形式方法系统。设计。 36,编号1,1-36(2010).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,《形式方法系统》。设计。36,第1号,1-36(2010;Zbl 1209.68309) 全文: 内政部 链接
安妮·雷姆克;Boudewijn R.哈维尔科特。;布,露西娅 QBD的CSL模型检查算法。 (英语) Zbl 1159.68481号 西奥。计算。科学。 382,第1期,24-41(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Remke}等人,Theor。计算。科学。382,第1号,24-41(2007;Zbl 1159.68481) 全文: 内政部 链接