@第{zbMATH06516969条，作者={Fogarty，Seth和Kupferman，Orna和Vardi，Moshe Y.和Wilke，Thomas}，Title＝｛B｛\“u｝chi｝字自动机的轮廓树，及其在确定化中的应用｝，FJournal={信息与计算}，日志={Inf.Comput.}，ISSN＝{0890-5401}，体积＝{245}，页码={136--151}，年份={2015年}，语言={英语}，DOI={10.1016/j.ic.2014.12.021}，关键词={68Q45}，zbMATH={6516969}，Zbl={1336.68155}}