BibTeX记录conf/生日/Franzle22
@正在进行{DBLP:conf/生日/Franzle22， author={Martin Fr{\“{a}}nzle}， editor={Nils Jansen和 玛丽·斯托林加和 佩特拉·范登·博斯（Petra van den Bos）， title={对稠密时间度量时态的充分语义基础的探索 逻辑}， booktitle={从过程代数到时间自动机到模型学习的旅程 -在他60岁那年献给弗里茨·瓦兰德拉格的散文 生日}， series={计算机科学讲稿}， 体积={13560}， pages＝{201-212}， publisher={Springer}， 年份={2022}， url={ https://doi.org/10.1007/978-3-031-15629-8 \_12}, doi={10.1007/978-3-031-15629-8\_12}， timestamp={星期六，2022年9月24日20:46:57+0200}， biburl={ https://dblp.org/rec/conf/birthday/Franzle22.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
