亚历山德罗·阿尔迪尼;马可·贝尔纳多 为面向组件的性能度量规范提供混合逻辑和奖励。 (英文) Zbl 1159.68020号 西奥。计算。科学。 382,第1期,3-23(2007).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Aldini}和\textit{M.Bernardo},Theor。计算。科学。382,第1号,第3--23号(2007;Zbl 1159.68020) 全文: 内政部
马可·贝尔纳多;马里奥·布拉维蒂 马尔科夫过程代数的性能度量敏感同余。 (英文) Zbl 1019.68065号 西奥。计算。科学。 290,第1期,117-160(2003).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}和\textit{M.Bravetti},Theor。计算。科学。290,第117-160号(2003年;兹bl 1019.68065) 全文: 内政部
彼得·巴赫霍尔茨 精确性能等价:随机自动机的等价关系。 (英文) Zbl 0913.68141号 西奥。计算。科学。 215,编号1-2,263-287(1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{P.Buchholz},Theor。计算。科学。215,编号1--2,263--287(1999;Zbl 0913.68141) 全文: 内政部