克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;芭芭拉·乔布斯曼;辛格，罗希特 概率环境中的测量和综合系统。 （英语） 兹比尔1321.68344 美国临床医学杂志 62，第1号，第9条，第34页（2015年）.MSC公司：60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，J.ACM 62，No.1，Article No.9，34 p.（2015；Zbl 1321.68344） 全文： 内政部 arXiv公司
乌卡丘库·恩杜克武 生成概率B中定量安全规范的反例。 （英语） Zbl 1269.68047号 J.日志。阿尔盖布。程序。 81，第1期，26-45（2012）.MSC公司：68号30 68甲15 87年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{U.Ndukwu}，J.Log。阿尔盖布。程序。81、第1号、第26-45号（2012年；Zbl 1269.68047） 全文： 内政部
Mark Kattenbelt公司;哈，迈克尔 通过游戏验证和反驳概率规范。 （英语） Zbl 1248.68333号 Kannan，Ravi（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2009），2009年12月15日至17日，印度坎普尔。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-13-2）。LIPIcs–莱布尼茨国际信息学会议录4，251-262，仅电子版（2009年）。MSC公司：60年第68季度 91A15型 87年第68季度 03B45号 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{M.Kattenbelt}和\textit{M.Huth}，LIPIcs——莱布尼茨国际程序。通知。4251-262（2009年；Zbl 1248.68333） 全文： 内政部 链接