BibTeX记录日志/corr/abs-2109-15295
@文章{DBLP:journals/corr/abs-2109-15295， author={本杰明·比斯平和 Uwe Nestmann}， title={一次决定所有行为等价：线性时间分支时间的{A}博弈 光谱学}， 日志={CoRR}， 体积={abs/2109.15295}， 年份={2021}， url={ https://arxiv.org/abs/2109.15295 }, eprinttype={arXiv}， eprint＝{2109.15295}， timestamp={2021年10月4日，星期一17:22:25+0200}， biburl={ https://dblp.org/rec/journals/corr/abs-2109-15295.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
