克里斯特尔·拜尔（编辑）；塞萨尔·蒂内利（编辑） 第21届系统构建和分析工具和算法国际会议特刊（TACAS 2015）。 （英语） Zbl 1376.00016号 学报信息。 54，第8期，727-728（2017）.MSC公司：00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}（编辑）和\textit{C.Tinelli}（主编），《学报》第54期，第8期，第727--728页（2017年；Zbl 1376.00016） 全文： 内政部
克里斯特尔·拜尔（编辑）；塞萨尔·蒂内利（编辑） 用于构建和分析系统的工具和算法。第21届国际会议，TACAS 2015，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2015，2015年4月11日至18日，英国伦敦。诉讼程序。 （英语） Zbl 1360.68006号 计算机科学课堂讲稿9035.柏林：施普林格出版社（ISBN 978-3-662-46680-3/pbk；978-3-562-46681-0/电子书）。十八、725页。(2015).MSC公司：68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}（编辑）和\textit{C.Tinelli}（编），系统构建和分析的工具和算法。第21届国际会议，TACAS 2015，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2015，英国伦敦，2015年4月11-18日。诉讼程序。柏林：施普林格出版社（2015；Zbl 1360.68006） 全文： 内政部