陈明帅;Joost-Pieter卡托恩;卢茨·克林肯伯格;托拜厄斯·温克勒 程序是否产生正确的分布?通过生成函数验证概率程序。 (英语) Zbl 1514.68028号 Shoham,Sharon(编辑)等人,《计算机辅助验证》。第34届国际会议,CAV 2022,以色列海法,2022年8月7日至10日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。13371, 79-101 (2022).MSC公司:第68页第19页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Chen}等人,Lect。注释计算。科学。13371,79-101(2022;Zbl 1514.68028) 全文: 内政部 arXiv公司
尼尔斯·詹森;本杰明·卢西恩·卡明斯基;Joost-Pieter卡托恩;费德里科·奥利梅多;弗里德里希·格雷茨;安娜贝拉·麦克维尔 概率规划中的条件处理。 (英语) Zbl 1351.68066号 Ghica,Dan(编辑),第31届编程语义数学基础会议论文集(MFPS XXXI),荷兰奈梅亨,2015年6月22日至25日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记319199-216,仅电子版(2015)。MSC公司:第68页第19页 68问题55 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Jansen}等人,《电子》。理论注释。计算。科学。319199-216(2015;Zbl 1351.68066) 全文: 内政部 arXiv公司
Joost-Pieter卡托恩;弗里德里希·格雷茨;尼尔斯·詹森;本杰明·卢西恩·卡明斯基;费德里科·奥利梅多 了解概率程序。 (英语) 兹比尔1444.68045 Meyer,Roland(编辑)等人,《正确的系统设计》。2015年9月8日至9日,德国奥尔登堡,纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9360, 15-32 (2015).MSC公司:第68页第19页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Katoen}等人,Lect。注释计算。科学。9360,15--32(2015;Zbl 1444.68045) 全文: 内政部 链接
本杰明·卢西恩·卡明斯基;Joost-Pieter卡托恩 关于几乎完全终止的硬度。 (英语) Zbl 1465.68097号 Italiano,F.(ed.)等人,《2015年计算机科学数学基础》。第40届国际研讨会,2015年MFCS,意大利米兰,2015年8月24-28日。诉讼程序。第一部分柏林:施普林格。莱克特。注释计算。科学。9234, 307-318 (2015).MSC公司:2017年第68季度 68号30 2010年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.L.Kaminski}和\textit{J.-P.Katoen},Lect。注释计算。科学。9234307-318(2015年;兹比尔1465.68097) 全文: 内政部 arXiv公司
洛科·德尼古拉;Joost-Pieter卡托恩;迭戈·拉特拉;米歇尔·洛雷蒂;梅克·马西克 模型检查移动随机逻辑。 (英语) Zbl 1159.68478号 西奥。计算。科学。 382,第1期,42-70(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola}等人,Theor。计算。科学。382,编号1,42--70(2007;Zbl 1159.68478) 全文: 内政部