@收款{zbMATH06908888，作者={Basin，David and Cremers，Cas and Meadows，Catherine}，标题={模型检查安全协议}，BookTitle={模型检查手册}，国际标准图书编号={978-3-319-10574-1；978-3-3169-10575-8}，页码={727--762}，年份={2018年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-10575-8_22}，关键词={68Q60，68M12，94A60}，zbMATH={6908888}，Zbl={1392.68228}}