艾曼纽·菲利奥特；Jin、Naiyong；让-弗朗索瓦·拉斯金 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） 全文： DOI程序
克里希南德·查特吉；鲁帕克·马朱姆达尔 欧米伽规则目标的最小注意力控制器综合。 （英语） Zbl 1348.68096号 Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，145-159（2011）。MSC公司：65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{R.Majumdar}，莱克特。注释计算。科学。6919、145--159（2011年；Zbl 1348.68096） 全文： DOI程序
克里斯特尔·拜尔；约阿希姆·克莱因；克吕佩尔霍尔茨，萨沙 控制器综合的合成框架。 （英语） 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 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，Lect。注释计算。科学。6901，512——527（2011年；兹bl 1329.68182） 全文： DOI程序
迈克尔·本尼迪克特；拉斯蒂斯拉夫·伦哈特；詹姆斯·沃雷尔 模型检查和游戏中的双变量与线性时序逻辑。 （英语） Zbl 1343.68151号 Katoen，Joost Pieter（编辑）等人，CONCUR 2011——并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学讲义6901、497-511（2011）。MSC公司：60年第68季度 03B44号 05年3月 87年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Benedikt}等人，Lect。注释计算。科学。6901497--511（2011；Zbl 1343.68151） 全文： DOI程序 arXiv公司