BibTeX记录conf/lics/ChatterjeeDHS21
@正在进行{DBLP:conf/lics/ChatterjeeDHS21, author={Krishnendu Chatterjee和 Wolfgang Dvor{\'{a}}k和 莫妮卡·亨津格和 亚历山大·斯沃齐尔}, title={概率验证的符号时间和空间权衡}, booktitle={第36届年度{ACM/IEEE}计算机科学逻辑研讨会,{LICS} 2021年6月29日至2021年7月2日,意大利罗马}, 页数={1--13}, publisher={{IEEE}}, 年份={2021}, url={ https://doi.org/10.109/LICS52264.2021.9470739 }, doi={10.1109/LICS52264.2021.9470739}, timestamp={2022年1月3日星期一22:15:35+0100}, biburl={ https://dblp.org/rec/conf/lics/ChatterjeeDHS21.bib }, bibsource={dblp计算机科学书目, 网址:https://dblp.org } }