@InCollection{zbMATH06958097，作者＝｛Conchon，Sylvain和Declerck，David和Za｛\“｛\ i｝di，Fatiha｝，标题={隔间-{{\（\mathcal{W}\）}}：弱内存上的参数化模型检查}，BookTitle={自动推理。2018年7月14日至17日在英国牛津举行的第九届国际联合会议IJCAR 2018，作为联邦逻辑会议的一部分。诉讼}，国际标准图书编号={978-3-319-94204-9；978-3-3169-94205-6}，页码={152--160}，年份={2018年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-94205-6_11}，关键词={68Q60}，zbMATH={6958097}，Zbl={1468.68122}}