贝拉德，贝特里奇;贝内迪克特·博利格;帕特里夏·鲍耶;马蒂亚斯·福格尔;纳塔利·斯兹纳杰德 存在动态链接的合成。 （英语） Zbl 07629163号 Inf.计算。 289，B部分，文章ID 104856，28 p.（2022）.MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人，《信息计算》。289，B部分，文章ID 104856，28 p.（2022；Zbl 07629163） 全文： 内政部
贝拉德，B。;哈达德，S。;皮卡罗尼，C。;Safey El Din，M。;萨索拉斯，M。 多项式中断时间自动机：验证和表达。 （英语） Zbl 1475.68145号 Inf.计算。 277，文章ID 104580，15 p.（2021）.MSC公司：65年第68季度 03B70号 65年第68季度 第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人，《信息计算》。277，文章ID 104580，第15页（2021；兹bl 1475.68145） 全文： 内政部 哈尔
贝拉德，贝特里奇;贝内迪克特·博利格;帕特里夏·鲍耶;马蒂亚斯·福格尔;纳塔利·斯兹纳杰德 存在动态链接的合成。 （英语） Zbl 07455739号 Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32633-49（2020年）。MSC公司：65年第68季度 第68季度第60季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{B.贝拉德}等人，《电子》。程序。西奥。计算。科学。（EPTCS）326、33-49（2020；Zbl 07455739） 全文： arXiv公司 链接
贝拉德，贝特里奇;帕斯卡·拉福卡德;小米、劳瑞;玛丽亚·波托普·布图卡鲁;蒂里·米格（Yann Thierry-Mieg）;塞巴斯蒂安·蒂谢尔 移动机器人协议的形式化验证。 （英语） Zbl 1410.68217号 分布计算。 29，第6期，459-487（2016）.MSC公司：第68季度第60季度 68个M12 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit｛B.Bérard｝等人，Distrib.Comput。29，第6号，459--487（2016；Zbl 1410.68217） 全文： 内政部 哈尔
贝拉德，贝特里奇;谢尔盖·哈达德;马修·萨索拉斯 中断时间自动机：验证和表达。 （英语） Zbl 1247.68124号 形式方法系统。设计。 40，第1期，41-87（2012）.MSC公司：65年第68季度 第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人，《形式方法系统》。设计。40、第1号、第41-87号（2012；Zbl 1247.68124） 全文： 内政部 arXiv公司
贝拉德、比阿特丽斯;谢尔盖·哈达德 中断时间自动机。 （英语） Zbl 1234.68195号 de Alfaro，Luca（编辑），《软件科学和计算结构基础》。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00595-4/pbk）。《计算机科学讲义》5504197-211（2009）。MSC公司：65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}和\textit{S.Haddad}，莱克特。注释计算。科学。5504197-211（2009年；Zbl 1234.68195） 全文： 内政部