BibTeX记录conf/tacas/BozzanoCTV22
@正在进行{DBLP:conf/tacas/BozzanoCTV22， author={Marco Bozzano和 亚历山德罗·西马蒂和 斯特凡诺·托内塔和 维基特{\'{o}}里亚沃兹{\'}a}}罗夫{\''{a}}}， editor={Dana Fisman和 格里戈·罗苏}， title={在公平过渡系统中搜索带状路径}， booktitle={系统构建和分析的工具和算法 -2022年第28届国际会议，{TACAS}，作为 欧洲软件理论与实践联合会议 2022年，德国慕尼黑，2022年4月2日至7日，会议记录，第{I}}部分， series={计算机科学讲稿}， 体积={13243}， 页数={543--560}， publisher={Springer}， 年份={2022}， url={ https://doi.org/10.1007/978-3-030-99524-9 \_30}, doi={10.1007/978-3-030-99524-9\_30}， timestamp={2022年10月2日，星期日16:16:19+0200}， biburl={ https://dblp.org/rec/conf/tacas/BozzanoCTV22.bib }， bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
