相互模拟和发散的逻辑

刘新新,于婷婷,张文辉.相互模拟和发散的逻辑.克里斯特尔·拜尔,乌戈·达尔·拉戈,编辑,软件科学和计算结构基础-第21届国际会议,FOSSACS 2018,作为欧洲软件理论和实践联席会议的一部分举行,ETAPS 2018,希腊塞萨洛尼基,2018年4月14日至20日,会议记录.第10803卷计算机科学讲义,页221-237、施普林格、,2018 [美国国防部]

摘要

缺少摘要。