Sylvain Conchon公司;戴维·德克勒克;法提哈扎伊迪 TSO弱记忆模型的参数化模型检验。 （英语） Zbl 1468.68123号 J.汽车。推理 64，第7期，1307-1330（2020）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Conchon}等人，J.Autom。推理64，No.7，1307--1330（2020；Zbl 1468.68123） 全文： 内政部
Sylvain Conchon公司;戴维·德克勒克;法提哈扎伊迪 隔间-\（\mathcal{W}\）：弱内存上的参数化模型检查。 （英语） Zbl 1468.68122号 Galmiche，Didier（编辑）等人，《自动推理》。2018年7月14日至17日在英国牛津举行的第九届国际联合会议IJCAR 2018，作为联邦逻辑会议的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10900, 152-160 (2018).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Conchon}等人，Lect。注释计算。科学。10900，152-160（2018年；Zbl 1468.68122） 全文： 内政部