BibTeX记录conf/esop/GardnerNW14
@进行中{DBLP:conf/esop/GardnerNW14， author={Philippa Gardner和 Gian Ntzik和 亚当·赖特， editor={钟绍}， title={POSIX}文件系统的本地推理}， booktitle＝{编程语言和系统-第23届欧洲编程研讨会， {ESOP}2014，作为欧洲理论联合会议的一部分举行 《软件实践》，{ETAPS}2014，法国格勒诺布尔，4月5日至13日， 2014年，会议记录}， series={计算机科学讲稿}， 体积={8410}， 页数={169--188}， publisher={Springer}， 年份={2014}， url={ https://doi.org/10.1007/978-3-642-54833-8 \_10}, doi={10.1007/978-3-642-54833-8\_10}， timestamp={2021年10月14日星期四10:31:33+0200}， biburl={ https://dblp.org/rec/conf/esop/GardnerNW14.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
