@第{zbMATH05548995条，作者={Benzm{\“u}ller，Christoph E.和Brown，Chad E.和Kohlhase，Michael}，标题＝{剪切模拟和不确定性}，FJournal={计算机科学中的逻辑方法}，日志={Log.Methods Compute.Sci.}，ISSN={1860-5974}，体积={5}，数字={1}，页数={论文8，21}，年份={2009}，语言={英语}，DOI={10.2168/LMCS-5（1:6）2009}，关键词={03B35,03B15,03F05}，zbMATH={5548995}，Zbl={1160.03004}}