@第{zbMATH06301502条，作者={Dr{\“a}ger，Klaus and Kwiatkowska，Marta and Parker，David and Qu，Hongyang}，标题={概率定时程序的局部抽象精化}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={538}，页码={37--53}，年份={2014}，语言={英语}，DOI={10.1016/j.tcs.2013.07.013}，关键词={68Q60,68N30}，zbMATH={6301502}，Zbl={1359.68187}}