@第{zbMATH07629061条，作者={Esparza，Javier和K{\v{r}}et{\'{\i}}nsk{\'y}，Jan和Sickert，Salomon}，Title={线性时序逻辑到{{\（\omega\）}}-自动机}的统一翻译，FJournal={ACM杂志}，期刊={J.ACM}，ISSN={0004-5411}，体积={67}，数字={6}，页码={61}，注意＝{Id/No 33}，年份={2020年}，语言={英语}，DOI={10.1145/3417995}，关键词={03B44.03D05.68Q45}，zbMATH={7629061}，Zbl={1499.03017}}