贝拉德,贝特里奇;谢尔盖·哈达德;马修·萨索拉斯 中断时间自动机:验证和表达。 (英语) Zbl 1247.68124号 形式方法系统。设计。 40,第1期,41-87(2012).MSC公司:第68季度第45季度 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人,Form.Methods Syst。设计。40,编号1,41-87(2012年;兹bl 1247.68124) 全文: 内政部 arXiv公司
贝拉德,贝特里奇;保罗·加斯丁;安托万·佩蒂特 常规信号事件语言的定时替换。 (英语) Zbl 1129.68038号 形式方法系统。设计。 31,第2期,101-134(2007).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人,《形式方法系统》。设计。31,第2号,101--134(2007;Zbl 1129.68038) 全文: 内政部
贝拉德,贝特里奇;劳伦·弗里堡;弗朗西斯·克莱;Jean-François莫宁 对ABR一致性标准化算法的两种正确性证明的比较研究。 (英语) Zbl 1033.68094号 形式方法系统。设计。 22,第1期,59-86(2003).MSC公司:第68页第15页 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人,《形式方法系统》。设计。22,第1号,59--86(2003;Zbl 1033.68094) 全文: 内政部