@第{zbMATH06912576条，作者={Esparza，Javier and Ganty，Pierre and Majumdar，Rupak}，Title={异步共享内存系统的参数化验证}，FJournal={ACM杂志}，期刊={J.ACM}，ISSN={0004-5411}，体积＝{63}，数字={1}，Pages={48}，注={Id/No 10}，年份＝{2016}，语言={英语}，DOI={10.1145/2842603}，关键词={68Q60,68Q25,68Q45,68Q85}，zbMATH={6912576}，Zbl={1426.68169}}