Bérard，B。;哈达德，S。;皮卡罗尼，C。;Safey El Din，M。;萨索拉斯，M。 多项式中断时间自动机：验证和表达。 （英语） Zbl 1475.68145号 Inf.计算。 277，文章ID 104580，15 p.（2021）.MSC公司：65年第68季度 03B70号 65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人，《信息计算》。277，文章ID 104580，15 p.（2021；Zbl 1475.68145） 全文： 内政部 哈尔
Bérard，Béatrice公司;帕特里夏·鲍耶;文森特·朱格 具有重叠轨迹的动力系统的有限互模拟。 （英语） Zbl 1528.68175号 Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第26条，第17页（2018年）。MSC公司：65年第68季度 03B25号 03C64号 60年第68季度 68问题85 93个B03 93立方 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人，LIPIcs--Leibniz Int.Proc。通知。119，第26条，第17页（2018；Zbl 1528.68175） 全文： 内政部
Bérard，Béatrice公司;克里希南德·查特吉;纳塔利·斯兹纳杰德 马尔可夫决策过程的概率不透明度。 （英语） Zbl 1366.68213号 信息处理。莱特。 115，第1期，52-59（2015）.MSC公司：87年第68季度 65年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人，《信息处理》。莱特。115，第1号，52-59（2015；Zbl 1366.68213） 全文： 内政部 arXiv公司
Bérard，Béatrice公司;奥利维尔·卡尔顿 重新审视渠道综合。 （英语） Zbl 1407.68328号 Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2014年3月10日至14日在西班牙马德里举行的2014年拉丁美洲旅游协会第八届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8370, 149-160 (2014).MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.贝拉德}和\textit{O.纸箱}，莱克特。注释计算。科学。8370149-160（2014年；Zbl 1407.68328） 全文： 内政部 哈尔
Bérard，B。;卡塞兹，F。;哈达德，S。;石灰，D。;O.H.罗克斯。 时间Petri网的表达能力。 （英语） Zbl 1259.68141号 西奥。计算。科学。 474，1-20（2013）.MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.贝拉德}等人，Theor。计算。科学。474，1--20（2013；Zbl 1259.68141） 全文： 内政部
Bérard，B。;卡塞兹，F。;哈达德，S。;石灰，D。;O.H.罗克斯。 时间自动机何时弱时间与时间Petri网相似？ （英语） Zbl 1158.68029号 西奥。计算。科学。 403，编号2-3，202-220（2008）.MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.贝拉德}等人，Theor。计算。科学。403，编号2--3，202-220（2008；Zbl 1158.68029） 全文： 内政部
贝拉德、比阿特丽斯;弗兰克·卡塞兹;谢尔盖·哈达德;莱姆，迪迪埃;奥利维尔·H·鲁克斯。 时间自动机和时间Petri网表达能力的比较。 （英语） Zbl 1175.68270号 Pettersson，Paul（编辑）等，时间系统的形式化建模和分析。第三届国际会议，FORMATS 2005，乌普萨拉，瑞典，2005年9月26-28日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-30946-2/pbk）。计算机科学课堂讲稿3829211-225（2005）。MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{B.Bérard}等人，Lect。注释计算。科学。3829211-225（2005年；Zbl 1175.68270） 全文： 内政部
贝拉德、比阿特丽斯;弗兰克·卡塞兹;谢尔盖·哈达德;莱姆，迪迪埃;奥利维尔·H·鲁克斯。 时间自动机何时弱时间与时间Petri网相似？ （英语） Zbl 1158.68424号 Ramanujam，R.（ed.）等人，FSTTCS 2005：软件技术和理论计算机科学基础。第25届国际会议，印度海得拉巴，2005年12月15日至18日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-30495-9/pbk）。计算机科学课堂讲稿3821273-284（2005）。MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{B.Bérard}等人，Lect。注释计算。科学。3821273--284（2005年；Zbl 1158.68424） 全文： 内政部
J.Beauquier。;Bérard，B。;弗里堡，L。;马格尼特，F。 使用一阶重写和正则语言证明自稳定系统的收敛性。 （英语） Zbl 1448.68328号 分布计算。 14，第2期，83-95（2001）.MSC公司：68问题85 2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Beauquier}等人，《分布计算》。14，第2号，83-95（2001年；兹bl 1448.68328） 全文： 内政部