@InCollection｛zbMATH06908886，作者={Shankar，Natarajan}，标题={结合模型检查和演绎}，BookTitle={模型检查手册}，国际标准图书编号={978-3-319-10574-1；978-3-3169-10575-8}，页码＝{651-684}，年份={2018年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-10575-8_20}，关键词={68Q60,03B70}，zbMATH={6908886}，Zbl={1392.68265}}