贝诺·凯劳德;贝诺·德拉哈耶;Larsen,Kim G。;Legay、Axel;米克尔·L·佩德森。;安德烈·索夫斯基 约束马尔可夫链。 (英语) Zbl 1223.68070号 西奥。计算。科学。 412,第34号,4373-4404(2011). 审核人:托马斯·扬森(科克) MSC公司:60年第68季度 60J10型 PDF格式BibTeX公司 XML格式引用 \textit{B.Caillaud}等人,Theor。计算。科学。412,第34号,4373--4404(2011;Zbl 1223.68070) 全文: 内政部
贝诺·德拉哈耶;贝诺·凯劳德;Legay、Axel 概率契约:用于设计具有随机和/或非确定性方面的系统的组合推理方法。 (英语) Zbl 1210.93068号 形式方法系统。设计。 38,编号1,1-32(2011).MSC公司:93E03型 87年第68季度 65年第68季度 60年第68季度 90B25型 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人,《形式方法系统》。设计。38,第1号,1--32(2011;Zbl 1210.93068) 全文: 内政部