托拜厄斯·约翰;西蒙·扬奇;拜尔，克里斯特尔;克吕佩尔霍尔茨，萨沙 Emerson-Lei自动机的确定和极限确定。 （英语） Zbl 1497.68270号 Hou，Zhe（编辑）等，验证和分析自动化技术。第19届国际研讨会，2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，ATVA 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12971, 15-31 (2021).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.John}等人，Lect。注释计算。科学。12971，15--31（2021；Zbl 1497.68270） 全文： 内政部 arXiv公司
拜尔，克里斯特尔;弗兰蒂舍克·布拉胡德克;亚历山大·杜雷特·卢茨;约阿希姆·克莱因;大卫·米勒;斯特雷切克，简 通用空置检查，以获得乐趣和利润。 （英语） Zbl 1437.68092号 Chen，Yu-Fang（编辑）等，验证和分析自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11781, 445-461 (2019).MSC公司：65年第68季度 60年第68季度 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，Lect。注释计算。科学。11781、445--461（2019年；Zbl 1437.68092） 全文： 内政部
约阿希姆·克莱因;拜尔，克里斯特尔;克吕佩尔霍尔茨，萨沙 大多数通用控制器的组成结构。 （英语） Zbl 1329.68186号 学报信息。 52，No.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） 全文： 内政部
孟、孙;法哈德·阿尔巴;拜尔，克里斯特尔 根据基于场景的交互规范合成Reo电路。 （英语） Zbl 1237.68064号 科学。计算。程序。 76，第8期，651-680（2011）. 审核人：哈伊姆·基洛夫（米林顿） MSC公司：68号30 68甲15 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Meng}等人，科学。计算。程序。76，第8号，651--680（2011；Zbl 1237.68064） 全文： 内政部
拜尔，克里斯特尔;布，露西娅;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） 全文： 内政部 链接
克吕佩尔霍尔茨，萨沙;拜尔，克里斯特尔 多智能体系统的交替时间流逻辑。 （英语） Zbl 1192.68697号 科学。计算。程序。 75，第6号，398-425（2010）.MSC公司：68T42型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Klüppelholz}和\textit{C.Baier}，科学。计算。程序。75，第6号，398--425（2010；Zbl 1192.68697） 全文： 内政部
法哈德·阿尔巴;孙孟;拜尔，克里斯特尔 根据基于场景的规范合成Reo电路。 （英语） Zbl 1347.68024号 Canal，Carlos（编辑）等人，第七届协调语言和软件架构基础国际研讨会会议记录（FOCLASA 2008），冰岛雷克雅未克，2008年7月13日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》229，第2期，21-41页（2009年）。MSC公司：64岁以下 68个M12 68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Arbab}等人，《电子》。注释Theor。计算。科学。229，第2号，第21-41号（2009；Zbl 1347.68024） 全文： 内政部
拜尔，克里斯特尔;马库斯·格罗斯尔;Frank Ciesinski先生 公平约束下的定量分析。 （英语） 兹比尔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） 全文： 内政部
拜尔，克里斯特尔;托拜厄斯·布莱希曼;约阿希姆·克莱因;克吕佩尔霍尔茨，萨沙 组件和连接器的正式验证。 （英语） 兹比尔1254.68143 de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。2008年10月21日至23日在法国索菲亚·安蒂波利斯举行的2008年FMCO第七届国际研讨会。修订的讲座。柏林：施普林格出版社（ISBN 978-3-642-04166-2/pbk）。计算机科学课堂讲稿5751，82-101（2009）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，Lect。注释计算。科学。5751、82--101（2009年；Zbl 1254.68143） 全文： 内政部
克吕佩尔霍尔茨，萨沙;拜尔，克里斯特尔 基于通道的元件连接器的符号模型检查。 （英语） Zbl 1167.68035号 科学。计算。程序。 74，第9号，688-701（2009）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Klüppelholz}和\textit{C.Baier}，科学。计算。程序。74，第9号，688--701（2009；Zbl 1167.68035） 全文： 内政部
拜尔，克里斯特尔;贝蒂娜·恩格伦;米拉·卡德巴姆少校 概率过程的双相似性和相似性的判定。 （英语） Zbl 1073.68690号 J.计算。系统。科学。 60，第1期，187-231（2000）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，《计算杂志》。系统。科学。60，第1号，187--231（2000；Zbl 1073.68690） 全文： 内政部