西蒙·扬奇;大卫·米勒;克里斯特尔·拜尔;约阿希姆·克莱因 通过交替自动机的消歧,从LTL到明确的Büchi自动机。 (英语) Zbl 1505.68022号 形式方法系统。设计。 58,编号1-2,42-82(2021).MSC公司:第68季度第45季度 03B44号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Jantsch}等人,《形式方法系统》。设计。58,编号1--2,42-82(2021;Zbl 1505.68022) 全文: 内政部 arXiv公司
克里斯特尔·拜尔(编辑);玛尔塔·奎亚特科夫斯卡(编辑) 概率模型检验专题前言。 (英语) Zbl 1291.68245号 形式方法系统。设计。 43,第2期,121-123(2013).MSC公司:60年第68季度 87年第68季度 00B15号机组 68-06 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}(编辑)和\textit{M.Kwiatkowska}(主编),《形式方法系统》。设计。43,No.2,121--123(2013;Zbl 1291.68245) 全文: 内政部
凯·兰普卡;马库斯·西格尔;乔恩·奥斯索夫斯基;克里斯特尔·拜尔 部分共享零抑制多终端BDD:概念、算法和应用。 (英语) Zbl 1214.68219号 形式方法系统。设计。 36,第3期,198-222(2010).MSC公司:60年第68季度 68周05 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Lampka}等人,《形式方法系统》。设计。36,第3号,198--222(2010;Zbl 1214.68219) 全文: 内政部 链接
克里斯特尔·拜尔;布,露西娅;Boudewijn R.哈维尔科特。;霍尔格·赫尔曼斯;Joost-Pieter卡托恩 通过马尔可夫报酬模型的模型检查进行性能评估。 (英语) Zbl 1209.68309号 形式方法系统。设计。 36,第1期,1-36页(2010年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,《形式方法系统》。设计。36,第1号,1-36(2010;Zbl 1209.68309) 全文: 内政部