BibTeX记录conf/cie/Cardelli 10
@在过程中{DBLP:conf/cie/CardelliG10， author={Luca Cardelli和 菲利普·加德纳}， editor={Fernando Ferreira和 Benedikt L{\“{o}}我们和 埃尔维拉·马约多莫和 卢斯·门德斯·戈梅斯， title={空间中的进程}， booktitle={程序、证明、过程，第六届欧洲可计算性会议， 2010年6月30日至7月4日，葡萄牙亚速尔群岛德尔加达桥，CiE 2010。 诉讼}， series={计算机科学讲稿}， 体积={6158}， 页数={78--87}， publisher={Springer}， 年份={2010}， url={ https://doi.org/10.1007/978-3-642-13962-8 \_9}, doi={10.1007/978-3-642-13962-8\_9}， timestamp={2024年5月7日星期二20:13:36+0200}， biburl={ https://dblp.org/rec/conf/cie/CardelliG10.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
