克里斯特尔·拜尔；埃德蒙·克拉克（Edmund M.Clarke）。；瓦西利基·哈特纳斯·加姆豪森 概率同步反应式程序的语义基础。 （英语） Zbl 0943.68107号 Baier，Christel（编辑）等人，1998年6月19日至20日，美国印第安纳州印第安纳波利斯，第一届概率验证方法国际研讨会论文集（PROBMIV’98）（第13届IEEE计算机科学逻辑国际研讨会的卫星活动，LICS’98）。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。22，电子文件第4号，（1998年）。MSC公司：第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，摘自：1998年6月19日至20日在美国印第安纳州印第安纳波利斯举行的第一届概率验证方法国际研讨会（PROBMIV’98）会议记录（第十三届IEEE计算机科学逻辑国际研讨会卫星活动，LICS’98）。阿姆斯特丹：爱思唯尔。电子纸4号（1998；Zbl 0943.68107） 全文： 链接
克里斯特尔·拜尔；埃德蒙·克拉克（Edmund M.Clarke）。；瓦西利基·哈特纳斯·加姆豪森；玛尔塔·奎亚特科夫斯卡；马克·瑞恩 概率过程的符号模型检查。 （英语） Zbl 1401.68180号 Degano，Pierpaolo（编辑）等人，《自动化，语言和编程》。1997年7月7日至11日在意大利博洛尼亚举行的第24届国际学术讨论会。诉讼程序。柏林：Springer-Verlag（ISBN 978-3-540-63165-1/pbk；978-3-540-69194-5/电子书）。计算机科学课堂讲稿1256430-440（1997）。MSC公司：60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，Lect。注释计算。科学。12561430-440（1997年；兹bl 1401.68180） 全文： 内政部 链接