约阿希姆·克莱因;克里斯特尔·拜尔;克吕佩尔霍尔茨，萨沙 大多数通用控制器的组成结构。 （英语） Zbl 1329.68186号 学报信息。 52，No.4-5，443-482（2015）. 审核人：Jörg Desel（哈根） MSC公司：68问题85 03B44号 60年第68季度 93B50个 PDF格式BibTeX公司 XML格式引用 \textit{J.Klein}等人，《学报》第52期，第4--5、443--482号（2015年；Zbl 1329.68186） 全文： 内政部
艾曼纽·菲利奥特;Jin、Naiyong;Jean-François拉斯金 LTL合成的反链和合成算法。 （英语） Zbl 1258.03046号 形式方法系统。设计。 39，第3期，261-296（2011）.MSC公司：05年3月 03B44号 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{E.Filiot}等人，《形式方法系统》。设计。39，第3号，261--296（2011；Zbl 1258.03046） 全文： 内政部
克里斯特尔·拜尔;约阿希姆·克莱因;克吕佩尔霍尔茨，萨沙 控制器综合的合成框架。 （英语） 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） 全文： 内政部