BibTeX记录日志/entcs/Gardner95
@inprocesdings{DBLP:期刊/entcs/Gardner95， 作者={菲利普·加德纳}， 编辑={Stephen D.Brookes和 Michael G.Main和 奥斯汀·梅尔顿和 迈克尔·米斯洛夫（Michael W.Mislove）， title={动作计算的无名称帐户}， booktitle={第十一届程序设计数学基础年会 语义学，{MFPS}1995，美国洛杉矶新奥尔良杜兰大学，3月 29-1995年4月1日}， series={理论计算机科学中的电子笔记}， 体积={1}， 页数={214--231}， publisher={Elsevier}， 年份={1995}， url={ https://doi.org/10.1016/S1571-0661 (04)80012-4}, doi={10.1016/S1571-0661（04）80012-4}， timestamp={2021年2月8日，星期一13:26:25+0100}， 比布尔={ https://dblp.org/rec/journals/entcs/Gardner95.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
