托拜厄斯·约翰;西蒙·扬奇;克里斯特尔·拜尔;Klüppelholz,萨沙 Emerson-Lei自动机的确定和极限确定。 (英语) Zbl 1497.68270号 Hou,Zhe(编辑)等,验证和分析自动化技术。2021年10月18日至22日,澳大利亚昆士兰州黄金海岸,第19届国际研讨会,ATVA 2021。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12971, 15-31 (2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.John}等人,Lect。票据计算。科学。12971,15--31(2021;Zbl 1497.68270) 全文: 内政部 arXiv公司
约阿希姆·克莱因;克里斯特尔·拜尔;Klüppelholz,萨沙 大多数通用控制器的组成结构。 (英语) 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) 全文: 内政部
克里斯特尔·拜尔;约阿希姆·克莱因;Klüppelholz,萨沙 控制器综合的合成框架。 (英语) 兹比尔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 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,Lect。票据计算。科学。6901512-527(2011;Zbl 1329.68182) 全文: 内政部