@第{zbMATH07395456条，作者={Liu，Yezhou and Nicolescu，Radu and Sun，Jing}，标题={使用{PAT3}和{ProB}}对{cP}系统进行形式验证，FJournal={膜计算杂志}，日志={J.Membr.Comput.}，ISSN={2523-8906}，体积={2}，数字={2}，Pages＝{80-94}，年份={2020年}，语言={英语}，DOI={10.1007/s41965-020-00036-0}，关键词={68Q07,68Q60}，zbMATH＝{7395456}，Zbl={1469.68046}}