亚历山德罗·阿尔迪尼;马可·贝尔纳多 为面向组件的性能度量规范提供混合逻辑和奖励。 (英文) 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) 全文: 内政部