伊凡·埃姆齐瓦特;贝诺·德拉哈耶;莱姆，迪迪埃;奥利维尔·H·鲁克斯。 概率时间Petri网。 （英语） Zbl 1346.68131号 Kordon，Fabrice（编辑）等人，Petri网和并发的应用和理论。第37届国际会议，PETRI NETS 2016，波兰托伦，2016年6月19-24日。诉讼程序。查姆：施普林格（ISBN 978-3-319-39085-7/pbk；978-3-3169-39086-4/电子书）。计算机科学讲座笔记9698，261-280（2016）。MSC公司：68问题85 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{Y.Emzivat}等人，Lect。注释计算。科学。9698，261--280（2016；Zbl 1346.68131） 全文： 内政部 OA许可证
贝诺·德拉哈耶;贝诺·凯劳德;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） 全文： 内政部