@收款{zbMATH07378309，作者={Bend{'{i}}k，Jaroslav and Sencan，Ahmet and Gol，Ebru Aydin and{v{C}}ern{'a}，Ivana}，标题={可达性的时间自动机松弛}，BookTitle={系统构建和分析的工具和算法。第27届国际会议，TACAS 2021，作为欧洲软件理论和实践联合会议的一部分，ETAPS 2021，卢森堡市，2021年3月27日至4月1日。诉讼程序。第一部分}，国际标准图书编号={978-3-030-72015-5；978-3-0.30-72016-2}，页码={291--310}，年份={2021}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-72016-2_16}，关键词={68Q45,68Q60}，zbMATH＝{7378309}，Zbl={1467.68079}}