提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/esop/RazaCG09非盟-穆罕默德·拉扎澳大利亚-加尔各尼奥，克里斯蒂亚诺澳大利亚-菲利普·加德纳TI-带分离逻辑的自动并行。BT-编程语言和系统，第18届欧洲编程研讨会，ESOP 2009，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2009，英国约克，2009年3月22-29日。诉讼SP-348EP-3622009年//DO-2007年10月10日/978-3-642-00590-9_25UR-（欧元）https://doi.org/10.1007/978-3642-00590-9_25急诊室-