提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-非正式或其他出版物ID-DBLP:期刊/dagstuhl-reports/BirkedalDGS15澳大利亚-Birkedal，Lars澳大利亚-德雷克·德雷尔澳大利亚-菲利普·加德纳AU-邵，钟TI-下一代并发的组合验证方法（Dagstuhl研讨会15191）。JO-达格斯图尔报告VL-5级为-5SP-1EP-232015年上半年//DO-10.4230/DAGREP.5.5.1UR-（欧元）https://doi.org/10.4230/DagRep.5.5.1急诊室-