Research是一个由研究人员为研究人员查找、收集、共享和审阅科学出版物的网站。
注册对于一个帐户,可以创建一个带有出版物列表的配置文件,标记并审阅您的相关工作,以及与您的合著者共享书目。
刘新新,于婷婷,张文辉.相互模拟和发散的逻辑.在克里斯特尔·拜尔,乌戈·达尔·拉戈,编辑,软件科学和计算结构基础-第21届国际会议,FOSSACS 2018,作为欧洲软件理论和实践联席会议的一部分举行,ETAPS 2018,希腊塞萨洛尼基,2018年4月14日至20日,会议记录.第10803卷计算机科学讲义,页221-237、施普林格、,2018 [美国国防部]
缺少摘要。