@第{zbMATH06449989条，作者={Garavel，Hubert and Lang，Fr{\ee}d{\ee}ric and Mateescu，Radu}，标题={使用{CADP}}对异步并发系统进行组合验证，FJournal={信息学报}，日志={Acta Inf.}，ISSN={0001-5903}，体积={52}，数字={4-5}，页码={337--392}，年份={2015年}，语言={英语}，DOI={10.1007/s00236-015-0226-1}，关键词={68Q85,68Q60}，zbMATH={6449989}，Zbl={1410.68250}}