@InCollection{zbMATH06707781，作者={Colcombet、Thomas和Fijalkow、Nathana和Horn、Florian，标题={安全}，BookTitle={第34届软件技术和理论计算机科学基础国际会议，FSTTCS 2014，印度新德里，2014年12月15日至17日}，国际标准图书编号={978-3-939897-77-4}，页码={379--390}，年份={2014}，出版商=｛Wadern:Schloss Dagstuhl-Leibniz Zentrum f｛\“u｝r Informatik｝，语言={英语}，DOI={10.4230/LIPIcs.FSTTCS.2014.379}，关键词={68Q60,91A43}，zbMATH={6707781}，Zbl={1360.68583}}