Lars Birkedal等人：下一代并发的成分验证方法（Dagstuhl研讨会15191）。(2015) 期刊/dagstuhl-reports/BirkedalDGS15 10.4230/日期5.5.1 下一代并发的组合验证方法（Dagstuhl研讨会15191）。 4 拉尔斯·比克达尔 1 德里克·德雷尔 2 菲利普·加德纳 三 钟绍 4 1-23 达格斯图尔报告 达格斯图尔报告 5 5 2015 dblp记录“journals/dagstuhl-reports/BirkedalDGS15”的RDF数据的来源信息 2021-10-14T08:54:45+0200