克里斯特尔·拜尔;佩德罗·R·达吉尼奥。;霍尔格·赫尔曼斯 关于无声移动的概率互模拟谱。 (英语) Zbl 1443.68108号 学报信息。 57,编号3-5,465-512(2020).MSC公司:68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,《学报》第57期,第3--5465--512号(2020年;Zbl 1443.68108) 全文: 内政部
克里斯特尔·拜尔(编辑);塞萨尔·蒂内利(编辑) 第21届系统构建和分析工具和算法国际会议特刊(TACAS 2015)。 (英语) Zbl 1376.00016号 学报信息。 54,第8期,727-728(2017).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}(编辑)和\textit{C.Tinelli}(主编),《学报》第54期,第8期,第727--728页(2017年;Zbl 1376.00016) 全文: 内政部
约阿希姆·克莱因;克里斯特尔·拜尔;克吕佩尔霍尔茨,萨沙 大多数通用控制器的组成结构。 (英语) Zbl 1329.68186号 学报信息。 52,编号4-5,443-482(2015). 审核人:Jörg Desel(哈根) MSC公司:68问题85 03B44号 60年第68季度 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{J.Klein}等人,《学报》第52期,第4--5、443--482号(2015年;Zbl 1329.68186) 全文: 内政部
克里斯特尔·拜尔;托马斯·布拉兹迪尔;马库斯·格勒;安东·库切拉 随机博弈逻辑。 (英语) 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) 全文: 内政部
克里斯特尔·拜尔;米拉·塞德尔巴姆少校。 部分顺序语义的度量语义。 (英语) Zbl 0883.68083号 学报信息。 34,第9期,701-735(1997). 审核人:M.E.Majster-Cederbaum(曼海姆) MSC公司:第68季度55 06B35号 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}和\textit{M.E.Majster-Cederbaum},《学报》第34期,第9期,第701-735页(1997;Zbl 0883.68083) 全文: 内政部
克里斯特尔·拜尔;米拉·塞德尔巴姆少校。 事件结构语义和TCSP操作语义之间的联系。 (英语) Zbl 0790.68064号 学报信息。 31,第1期,81-104(1994).MSC公司:第68季度55 2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}和\textit{M.E.Majster-Cederbaum},《学报》第31期,第1期,第81-104页(1994年;Zbl 0790.68064) 全文: 内政部