@收款{zbMATH07571375，作者={Fortin，Marie and Muscholl，Anca and Walukiewicz，Igor}，Title={参数化异步共享内存下推系统的模型检查线性时间属性}，BookTitle={计算机辅助验证。2017年7月24日至28日，德国海德堡，2017年CAV第29届国际会议。诉讼程序。第二部分}，国际标准图书编号={978-3-319-63389-3；978-3-3169-63390-9}，页码={155--175}，年份={2017年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-63390-9_9}，关键词={68Q60,03B44,68Q85}，zbMATH={7571375}，Zbl={1495.68134}}