BibTeX记录conf/lics/GazdaH21
@进行中{DBLP:conf/lics/GazdaH21， author={Maciej Gazda和 Robert M.Hierons}， 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.9470737 }, doi＝{10.1109/LICS52264.2021.94700737}， timestamp={2021年10月14日星期四09:50:17+0200}， biburl={ https://dblp.org/rec/conf/lics/GazdaH21.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
