Research是一个由研究人员为研究人员查找、收集、共享和审阅科学出版物的网站。
注册对于一个帐户,可以创建一个带有出版物列表的配置文件,标记并审阅您的相关工作,以及与您的合著者共享书目。
吉安·恩茨克,佩德罗·达罗查·平托,菲利普·加德纳.容错资源推理.在新余峰,Sungwoo公园,编辑,编程语言与系统-第13届亚洲研讨会,APLAS 2015,韩国浦项,2015年11月30日至12月2日,会议记录.第9458卷,共页计算机科学讲义,页169-188,施普林格,2015 [美国国防部]
缺少摘要。