Bérard,Béatrice公司;谢尔盖·哈达德 勘误表:“多项式中断时间自动机可达性的再研究”。 (英语) Zbl 1483.68158号 信息处理。莱特。 175,文章ID 106231,1 p.(2022).MSC公司:65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}和\textit{S.Haddad},Inf.过程。莱特。175,文章ID 106231,1页(2022;Zbl 1483.68158) 全文: 内政部
Bérard,Béatrice公司;谢尔盖·哈达德 多项式中断时间自动机的可达性研究。 (英语) 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 p.(2022;Zbl 1483.68157) 全文: 内政部
Bérard,Béatrice公司;谢尔盖·哈达德;马修·萨索拉斯 中断时间自动机:验证和表达。 (英语) 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公司