克里斯特尔·拜尔;马库斯·格勒;Frank Ciesinski先生 概率系统线性时间特性的模型检验。 （英语） Zbl 1484.68095号 Droste，Manfred（编辑）等人，《加权自动机手册》。柏林：斯普林格。单声道。理论。计算。科学。，EATCS系列。，519-570 (2009).MSC公司：60年第68季度 2010年第68季度 第68季度第45季度 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，in：加权自动机手册。柏林：斯普林格。519-570（2009年；Zbl 1484.68095） 全文： 内政部
马修·特雷科尔;克里斯特尔·拜尔;马库斯·格罗瑟 概率自动机的递归性和瞬时性。 （英语） Zbl 1248.68337号 Kannan，Ravi（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2009），2009年12月15日至17日，印度坎普尔。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-13-2）。LIPIcs–莱布尼茨国际信息学会议录4395-406，仅电子版（2009年）。MSC公司：60年第68季度 87年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Tracol}等人，LIPIcs——莱布尼茨国际程序。通知。4395--406（2009年；Zbl 1248.68337） 全文： 内政部 链接
克里斯特尔·拜尔;马库斯·格罗斯尔;Frank Ciesinski先生 公平约束下的定量分析。 （英语） Zbl 1262.68102号 刘志明（编辑）等，《验证和分析自动化技术》。2009年10月14日至16日，第七届国际研讨会，ATVA 2009，中国澳门。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04760-2/pbk）。计算机科学课堂讲稿5799135-150（2009）。MSC公司：60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，Lect。注释计算。科学。5799、135-150（2009年；Zbl 1262.68102） 全文： 内政部
克里斯特尔·拜尔;Nathalie Bertrand;马库斯·格勒 在欧米伽自动投掷硬币的效果。 （英语） Zbl 1254.68142号 Bravetti，Mario（编辑）等人，CONCUR 2009–并发理论。第20届国际会议，CONCUR 2009，意大利博洛尼亚，2009年9月1-4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04080-1/pbk）。计算机科学课堂讲稿5710，15-29（2009）。MSC公司：60年第68季度 05年3月 第68季度第45季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，Lect。注释计算。科学。5710、15--29（2009年；Zbl 1254.68142） 全文： 内政部