BibTeX记录日志/dagstuhl-reports/BirkedalDGS15
@文章{DBLP:journals/dagstuhl-reports/BirkedalDGS15， author={Lars Birkedal和 德里克·德雷尔和 菲利普·加德纳和 钟绍}， title={下一代并发的组合验证方法 （达格斯图尔研讨会15191）}， 日志={Dagstuhl报告}， 体积={5}， 数字={5}， 页数={1--23}， 年份={2015年}， url={ https://doi.org/10.4230/DagRep.5.5.1 }, doi={10.4230/DAGREP.5.5.1}， timestamp={2021年10月14日星期四08:54:45+0200}， biburl={ https://dblp.org/rec/journals/dagstuhl-reports/BirkedalDGS15.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
