BibTeX记录日志/sttt/SimmondsDGC10
@文章{DBLP:journals/sttt/SimmondsDGC10， author={Jocelyn Simmonds和 杰西卡·戴维斯和 Arie Gurfinkel和 Marsha Chechik}， title={利用解析证明加速{LTL}真空检测 {BMC}}， journal={国际期刊软件工具技术翻译}， 体积={12}， 数字={5}， 页数={319--335}， 年份={2010}， url={ https://doi.org/10.1007/s10009-009-0134-1 }, doi={10.1007/S10009-009-0134-1}， 时间戳={2024年3月12日星期二18:01:46+0100}， biburl={ https://dblp.org/rec/journals/sett/SimmondsDGC10.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
