BibTeX记录conf/生日/BarendregtR22
@inprocesdings{DBLP:conf/birthday/BarendregtR22，正在进行中， author={Henk Barendregt和 Antonino Raffone}， editor={Nils Jansen和 玛丽·斯托林加和 佩特拉·范登·博斯（Petra van den Bos）， title={应用公理化意识}， booktitle={从过程代数到时间自动机到模型学习的旅程 -在他60岁那年献给弗里茨·瓦兰德拉格的散文 生日}， series={计算机科学讲稿}， 体积={13560}， 页数={46--62}， publisher={Springer}， 年份={2022}， url={ https://doi.org/10.1007/978-3-031-15629-8 \_3}, doi＝{10.1007/978-3-031-15629-8\_3}， timestamp={星期六，2022年9月24日20:46:57+0200}， biburl={ https://dblp.org/rec/conf/birthday/BarendregtR22.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
