@第{zbMATH06334959条，作者={Wimmer，Ralf and Jansen，Nils and{'A}brah{'A}m，Erika and Katoen，Joost-Pieter and Becker，Bernd}，标题={线性时间概率验证的最小反例}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={549}，页码={61--100}，年份={2014}，语言={英语}，DOI={10.1016/j.tcs.2014.06.20}，关键词={68Q60,60J20,68Q87,90C11,90C40}，zbMATH={6334959}，Zbl={1360.68604}}