@收款{zbMATH06385869，作者＝{波佩斯库、安德烈和赫尔兹尔、约翰尼斯和尼普科夫、托比亚斯}，标题={形式化概率不干扰}，BookTitle={认证程序和证明。第三届国际会议，2013年CPP，墨尔本，维多利亚州，澳大利亚，2013年12月11-13日。诉讼}，国际标准图书编号={978-3-319-03544-4}，页码={259--275}，年份={2013}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-319-03545-1_17}，关键词={68V20,68N15}，URL={eprints.mdx.ac.uk/15369/1/PROB.pdf}，zbMATH={6385869}，Zbl={1426.68287}}