@第{zbMATH06995657条，作者={珊、莱翔和杜、小敏和秦、郑}，Title={将{LTL}公式转换为{B{\“u}chi}自动机}的有效方法，FJournal={计算机科学前沿}，Journal＝{Front.Comput.Sci.}，ISSN={2095-2228}，体积={9}，数字={4}，页码={511--523}，年份={2015年}，语言={英语}，DOI={10.1007/s11704-015-4302-2}，关键词={68Q60,03B44,03D05,68Q45}，zbMATH={6995657}，Zbl={1403.68130}}