@收款{zbMATH07105327，作者={Costa，Gabriele and Basin，David and Bodei，Chiara and Degano，Pierpaolo and Galletta，Letterio}，标题={从自然投影到部分模型检查和返回}，BookTitle={系统构建和分析的工具和算法。2018年第24届国际会议，TACAS，作为欧洲软件理论和实践联合会议的一部分，ETAPS 2018，希腊塞萨洛尼基，2018年4月14日至20日。诉讼程序。第一部分}，国际标准图书编号={978-3-319-89959-6；978-3-3169-89960-2}，页码={344--361}，年份={2018年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-89960-2_19}，关键词={68Q60,68Q45}，zbMATH={7105327}，Zbl={1423.68275}}