@第{zbMATH07246546条，作者={Herbreteau，Fr{\'e}d{\'e}ric和Srivathsan，B.以及Tran，Thanh-Tung和Walukiewicz，Igor}，Title={为什么时间自动机的生存性很难，以及我们能做些什么}，FJournal={ACM计算逻辑事务}，日志={ACM Trans.Comput.Log.}，ISSN＝{1529-3785}，体积={21}，数字={3}，Pages={28}，注={Id/No 17}，年份={2020年}，语言={英语}，DOI＝{10.1145/3372310}，关键词={68Q17,68Q25,68Q45}，URL={drops.dagstuhl.de/opus/volltexte/2016/6883/}，zbMATH={7246546}，Zbl={1446.68068}}