@第{zbMATH05659894条，作者={Brosenne，Henrik and Homester，Matthias and Waack，Stephan}，标题={具有重复测试和各种验收模式的非确定性有序二元决策图}，FJournal={信息处理信件}，日志={Inf.Process.Lett.}，ISSN={0020-0190}，体积={98}，数字={1}，页码={6--10}，年份={2006}，语言={英语}，DOI={10.1016/j.ipl.2005.11.011}，关键词={68Q17}，zbMATH={5659894}，Zbl={1187.68247}}