Béatrice Bérard等人：多项式中断时间自动机：验证和表达。(2021) 期刊/iandc/BerardHPDS21 2016年10月10日/J.IC.2020.104580 多项式中断时间自动机：验证和表达。 5 贝特里斯·贝拉德 1 谢尔盖·哈达德 2 克劳迪娜·皮卡罗尼 三 穆罕默德·萨弗里·埃尔丁 4 马修·萨索拉斯 5 104580 Inf.计算。 Inf.计算。 277 2021 dblp记录“journals/iandc/BerardHPDS21”的RDF数据的来源信息 2021-03-30T10:41:26+0200