贝拉德，贝特里奇;谢尔盖·哈达德 多项式中断时间自动机的可达性研究。 （英语） Zbl 1483.68157号 信息处理。莱特。 174，文章ID 106208，6 p.（2022）; 更正同上175，文章ID 106231，1 p.（2022）。MSC公司：65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}和\textit{S.Haddad}，Inf.过程。莱特。174，文章ID 106208，第6页（2022；Zbl 1483.68157） 全文： 内政部
贝拉德，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） 全文： 内政部 哈尔
贝拉德，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） 全文： 内政部
贝拉德，贝特里奇;谢尔盖·哈达德;马修·萨索拉斯 中断时间自动机：验证和表达。 （英语） 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） 全文： 内政部
贝拉德，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） 全文： 内政部
贝拉德，贝特里奇;保罗·加斯丁;安托万·佩蒂特 常规信号事件语言的定时替换。 （英语） Zbl 1129.68038号 形式方法系统。设计。 第2101-134号第31页（2007年）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人，《形式方法系统》。设计。31，第2号，101--134（2007；Zbl 1129.68038） 全文： 内政部
贝拉德、比阿特丽斯;弗兰克·卡塞兹;谢尔盖·哈达德;莱姆，迪迪埃;奥利维尔·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格式引用 \textit{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格式引用 \textit{B.Bérard}等人，Lect。注释计算。科学。3821273--284（2005年；Zbl 1158.68424） 全文： 内政部
贝拉德，贝特里奇;凯瑟琳·杜福尔德 定时自动机和附加时钟约束。 （英语） Zbl 0953.68565号 信息处理。莱特。 75，第1-2、1-7号（2000年）.MSC公司：65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}和\textit{C.Dufourd}，Inf.过程。莱特。75，编号1--2，1--7（2000；Zbl 0953.68565） 全文： 内政部
贝拉德，贝特里奇;安托万·佩蒂特;沃尔克·迪克特;保罗·加斯丁 描述时间自动机中无声转换的表达能力。 （英语） Zbl 0930.68077号 安.社会.数学。政策。，序列号。四、 芬丹。信息。 36，第2-3号，145-182（1998）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人，Ann.Soc.Math。政策。，序列号。四、 芬丹。Inf.36，No.2--3，145--182（1998；Zbl 0930.68077）