托拜厄斯·约翰;西蒙·扬奇;克里斯特尔·拜尔;克吕佩尔霍尔茨，萨沙 Emerson Lei自动机的确定化和极限确定化。 （英语） 兹比尔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 1329.68186号 学报信息。 52，No.4-5，443-482（2015）. 审核人：约格·德塞尔（哈根） MSC公司：第68季度85 03B44号 60年第68季度 93B50个 PDF格式BibTeX公司 XML格式引用 \textit{J.Klein}等人，《学报》第52期，第4--5、443--482号（2015年；Zbl 1329.68186） 全文： 内政部
克里斯特尔·拜尔;约阿希姆·克莱因;克吕佩尔霍尔茨，萨沙 控制器综合的合成框架。 （英语） Zbl 1329.68182号 Katoen，Joost-Pieter（编辑）等，CONCUR 2011–并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学课堂讲稿6901512-527（2011）。MSC公司：第68季度85 93B50个 PDF格式BibTeX公司 XML格式引用 \textit｛C.Baier｝等人，Lect。注释计算。科学。6901512-527（2011；Zbl 1329.68182） 全文： 内政部