BibTeX记录日志/entcs/PintoDG15
@inprocesdings{DBLP:日志/entcs/PintoDG15， 作者={佩德罗·达·罗查·平托和 托马斯·丁斯代尔 ｛-｝年轻 和 菲利普·加德纳}， 编辑={Dan R.Ghica}， title={并发模块的模块规范步骤（特邀教程 纸）}， booktitle={第31届程序设计数学基础会议 Semantics，{MFPS}2015，荷兰奈梅亨，2015年6月22日至25日}， series={理论计算机科学中的电子笔记}， 体积={319}， 页数={3--18}， publisher={Elsevier}， 年份={2015年}， url={ https://doi.org/10.1016/j.entcs.2015.12.002 }, doi={10.1016/J.ENTCS.2015.12.002}， timestamp={2022年8月16日星期二23:07:11+0200}， 比布尔={ https://dblp.org/rec/journals/entcs/PintoDG15.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
