@第{zbMATH06561878条，作者={Benerecetti，Massimo and Peron，Adriano}，Title={定时递归状态机：表现力和复杂性}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={625}，页码={85--124}，年份={2016年}，语言={英语}，DOI={10.1016/j.tcs.2016.02.021}，关键词={68Q05，68Q17，68Q45,68Q85}，zbMATH={6561878}，Zbl={1338.68070}}