贝诺·德拉哈耶;Joost-Pieter卡托恩;Larsen，Kim G。;Legay、Axel;米克尔·L·佩德森。;福尔克·谢尔;安德热·瓦索夫斯基 抽象概率自动机。 （英语） Zbl 1296.68092号 Inf.计算。 232, 66-116 (2013).MSC公司：第68季度第45季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人，《信息计算》。232、66-116（2013年；Zbl 1296.68092） 全文： 内政部
贝诺·德拉哈耶;Larsen，Kim G。;Legay、Axel;米克尔·L·佩德森。;安德烈·索夫斯基 区间马尔可夫链的一致性和精化。 （英语） Zbl 1247.68195号 J.日志。阿尔盖布。程序。 81，第3期，209-226（2012）.MSC公司：87年第68季度 2017年第68季度 60J10型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人，J.Log。阿尔盖布。程序。81、3号、209--226（2012；Zbl 1247.68195） 全文： 内政部
贝诺·凯劳德;贝诺·德拉哈耶;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） 全文： 内政部
贝诺·德拉哈耶;Larsen，Kim G。;Legay、Axel;米克尔·L·佩德森。;安德烈·索夫斯基 区间马尔可夫链的决策问题。 （英语） Zbl 1330.68109号 Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2011年5月26日至31日在西班牙塔拉戈纳举行的2011年拉丁美洲旅游协会第五届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21253-6/pbk）。计算机科学讲座笔记6638，274-285（2011）。MSC公司：65年第68季度 60J10型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人，Lect。注释计算。科学。6638，274--285（2011；Zbl 1330.68109） 全文： 内政部
贝诺·德拉哈耶;Joost-Pieter卡托恩;Larsen，Kim G。;Legay、Axel;米克尔·L·佩德森。;福尔克·谢尔;安德烈·索夫斯基 抽象概率自动机。 （英语） Zbl 1317.68095号 Jhala，Ranjit（编辑）等人，《验证、模型检查和抽象解释》。2011年1月23日至25日，第12届国际会议，VMCAI 2011，美国德克萨斯州奥斯汀。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-18274-7/pbk）。计算机科学课堂讲稿6538，324-339（2011）。MSC公司：第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人，Lect。注释计算。科学。6538，324--339（2011；Zbl 1317.68095） 全文： 内政部