BibTeX记录conf/生日/GaravelL22
@正在进行{DBLP:conf/生日/GaravelL22， author={Hubert Garavel和 Fr｛\'｛e｝｝d｛\'｛e｝｝ric Lang｝， editor={Nils Jansen和 玛丽·斯托林加和 佩特拉·范登·博斯（Petra van den Bos）， title={40年后的等价性检查：{A}互模拟工具综述}， booktitle={从过程代数到时间自动机到模型学习的旅程 -在他60岁那年献给弗里茨·瓦兰德拉格的散文 生日}， series={计算机科学讲稿}， 体积={13560}， 页数={213--265}， publisher={Springer}， 年份={2022}， url={ https://doi.org/10.1007/978-3-031-15629-8 \_13}, doi={10.1007/978-3-031-15629-8\_13}， timestamp={星期六，2022年9月24日20:46:57+0200}， biburl={ https://dblp.org/rec/conf/birthday/GaravelL22.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
