@第{zbMATH07444822条，作者={B{\'e}rard，B{\e}atrice和Haddad，Serge}，Title={在多项式中断时间自动机中重温可达性}，FJournal={信息处理信件}，日志={Inf.Process.Lett.}，ISSN={0020-0190}，体积={174}，页码={6}，注={Id/No 106208}，年份={2022}，语言={英语}，DOI={10.1016/j.ipl.2021.106208}，关键词={68Q45,68Q25}，zbMATH={7444822}，Zbl={1483.68157}}