克里斯特尔·拜尔;马库斯·格勒;Frank Ciesinski先生 概率系统线性时间特性的模型检验。 （英语） Zbl 1484.68095号 Droste，Manfred（编辑）等人，《加权自动机手册》。柏林：施普林格。单声道。理论。计算。科学。，EATCS系列。，519-570 (2009).MSC公司：60年第68季度 2010年第68季度 65年第68季度 第68季度87 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，in：加权自动机手册。柏林：施普林格。519-570（2009年；Zbl 1484.68095） 全文： 内政部
克里斯特尔·拜尔;埃德蒙·克拉克（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季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，Lect。注释计算。科学。1256430-440（1997年；Zbl 1401.68180） 全文： 内政部 链接