贝拉德,贝特里奇;谢尔盖·哈达德;马修·萨索拉斯 中断时间自动机:验证和表达。 (英语) Zbl 1247.68124号 形式方法系统。设计。 40,第1期,41-87(2012).MSC公司:65年第68季度 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人,Form.Methods Syst。设计。40、第1号、第41-87号(2012;Zbl 1247.68124) 全文: 内政部 arXiv公司
贝拉德,贝特里奇;劳伦·弗里堡;弗朗西斯·克莱;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) 全文: 内政部