提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/esop/PintoDGS16澳大利亚-平托，佩德罗·达罗查澳大利亚——汤姆斯·丁斯代尔·扬澳大利亚-菲利普·加德纳澳大利亚——朱利安·萨瑟兰TI-非阻塞并发的模块化终端验证。BT-编程语言和系统-第25届欧洲编程研讨会，2016年ESOP，作为欧洲软件理论与实践联合会议的一部分举行，ETAPS 2016，荷兰埃因霍温，2016年4月2-8日，会议记录SP-176欧洲药典-2012016年上半年//DO-2007年10月7日/978-3-662-49498-1_8UR-（欧元）https://doi.org/10.1007/978-3-662-49498-1_8急诊室-