@InCollection｛zbMATH05262428，作者={Demri，St{'e}phane and Lazi{'c}，Ranko and Sangnier，Arnaud}，标题={单计数器自动机上的模型检查冻结{LTL}，BookTitle={软件科学和计算结构基础。第11届国际会议，FOSSACS 2008，作为欧洲软件理论和实践联合会议的一部分，ETAPS 2008，匈牙利布达佩斯，2008年3月29日至4月6日。诉讼}，国际标准图书编号={978-3-540-78497-5}，页码={490--504}，年份={2008}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-540-78499-9_34}，关键词={68Q60,03B44,68Q17,68Q45}，zbMATH={5262428}，Zbl={1139.68038}}