丹尼尔·博基尔;亚历山大·拉比诺维奇;阿纳托尔·斯利森科 具有可判定模型检查的概率逻辑。 （英语） Zbl 1109.03017号 J.日志。计算。 16，第4期，461-487（2006）.MSC公司：03B48号 03B25号 60年第68季度 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Beauquier}等人，J.Log。计算。16，第4号，461--487（2006；Zbl 1109.03017） 全文： 内政部
博基耶，达尼埃尔;约拉姆·赫什菲尔德;亚历山大·拉比诺维奇;阿纳托尔·斯利森科 概率嵌套游戏。 （英语） Zbl 1270.03050号 Nestmann，Uwe（编辑）等人，EXPRESS’02。2002年8月19日在捷克共和国布尔诺举行的第九届并发表达能力国际研讨会上发表的论文。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》68，第2期，第4-14页（2002年）。MSC公司：03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Beauquier}等人，《电子》。注释Theor。计算。科学。68，第2、4--14号（2002年；Zbl 1270.03050） 全文： 内政部
丹尼尔·博基尔;亚历山大·拉比诺维奇;阿纳托尔·斯利森科 具有可判定模型检查的概率逻辑。 （英语） Zbl 1021.03013号 朱利安·布拉德菲尔德（编辑），《计算机科学逻辑》。第16届国际研讨会，CSL 2002，EACSL第11届年会，苏格兰爱丁堡，英国，2002年9月22日至25日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2471, 306-321 (2002).MSC公司：03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Beauquier}等人，Lect。注释计算。科学。2471306--321（2002；Zbl 1021.03013） 全文： 链接