@第{zbMATH07061214条，作者={Antonino、Pedro和Gibson-Robinson、Thomas和Roscoe，A.W.}，Title={使用基于局部分析的近似和{SAT}求解对并发系统进行有效验证}，FJournal＝{计算的形式方面}，日志={正式Asp.Compute.}，ISSN={0934-5043}，体积={31}，数字＝｛3｝，页码={375--409}，年份={2019}，语言={英语}，DOI={10.1007/s00165-019-00483-2}，关键词={68Q85,68Q60,68T20}，zbMATH={7061214}，Zbl={1425.68285}}