拉尔斯·比克达尔 德里克·德雷尔 菲利普·加德纳 钟绍 下一代并发的组合验证方法（Dagstuhl研讨会15191）。 1-23 2015 5 达格斯图尔报告 5 https://doi.org/10.4230/DagRep.5.5.1 db/期刊/dagstuhl-reports/dagstuhl-report 5.html#BirkedalDGS15