克里斯特尔·拜尔;马库斯·格罗瑟;Nathalie Bertrand 概率\({\omega}\)-自动机。 (英语) 兹比尔1281.68152 美国临床医学杂志 59,第1号,第1条,第52页(2012年).MSC公司:60年第68季度 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,J.ACM 59,第1号,第1条,52页(2012;Zbl 1281.68152) 全文: 内政部
克里斯特尔·拜尔;托马斯·布拉兹迪尔;马库斯·格勒;安东·库切拉 随机博弈逻辑。 (英语) Zbl 1276.68103号 学报信息。 49,第4期,203-224(2012). 审核人:Joost-Pieter Katoen(亚琛) MSC公司:60年第68季度 2017年第68季度 91A06型 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,《信息学报》第49期,第4期,第203-224页(2012年;Zbl 1276.68103) 全文: 内政部