贝诺·德拉哈耶;Larsen，Kim G。;Legay、Axel 为抽象概率自动机而结结巴巴。 （英语） Zbl 1283.68193号 J.日志。阿尔盖布。程序。 83，第1期，第1-19页（2014年）.MSC公司：65年第68季度 03B45号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人，J.Log。阿尔盖布。程序。83，第1号，第1-19号（2014；Zbl 1283.68193） 全文： 内政部
贝诺·德拉哈耶;Larsen，Kim G。;Legay、Axel 为抽象概率自动机而结结巴巴。 （英语） Zbl 1437.68094号 Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2013年1月6日至8日在美国加利福尼亚州圣地亚哥举行的2013年LFCS国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。7734, 149-163 (2013).MSC公司：65年第68季度 03B45号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人，Lect。注释计算。科学。77344149-163（2013年；兹bl 1437.68094） 全文： 内政部
尼古拉·贝内什;贝诺·德拉哈耶;乌里·法伦贝格;简·Křetínsk;Legay、Axel 具有最大不动点的轩尼诗-米尔纳逻辑是一种完整的行为规范理论。 （英语） Zbl 1271.68131号 D'Argenio，Pedro R.（编辑）等，CONCUR 2013–并发理论。第24届国际会议，CONCUR 2013，阿根廷布宜诺斯艾利斯，2013年8月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40183-1/pbk）。计算机科学课堂讲稿8052，76-90（2013）。MSC公司：60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人，Lect。注释计算。科学。8052，76-90（2013；Zbl 1271.68131） 全文： 内政部 arXiv公司