克里斯特尔·拜尔;马库斯·格勒;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) 全文: 内政部
克里斯特尔·拜尔;马库斯·格罗斯尔;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) 全文: 内政部
马库斯·格勒;格钦·诺曼;克里斯特尔·拜尔;Frank Ciesinski先生;玛尔塔·奎亚特科夫斯卡;大卫·帕克 概率报酬模型的约简准则。 (英语) Zbl 1177.68150号 Arun-Kumar,S.(编辑)等人,FSTTCS 2006:软件技术和理论计算机科学基础。第26届国际会议,印度加尔各答,2006年12月13日至15日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-49994-7/pbk)。计算机科学课堂讲稿4337,309-320(2006)。MSC公司:68问题85 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Größer}等人,Lect。注释计算。科学。4337、309--320(2006年;Zbl 1177.68150) 全文: 内政部