BibTeX记录日志/entcs/AudemardBCS05
@inprocesdings{DBLP:日志/entcs/AudemardBCS05， author={Gilles Audemard和 Marco Bozzano和 亚历山德罗·西马蒂和 罗伯托·塞巴斯蒂亚尼（Roberto Sebastiani）， editor={Armin Biere和 Ofer Strichman}， title={使用MathSAT验证工业混合系统}， booktitle＝{第二届有界模型检验国际研讨会论文集， BMC@CAV 2004年7月18日，美国马萨诸塞州波士顿， series={理论计算机科学中的电子笔记}， 体积={119}， 数字={2}， 页码＝{17-32}， publisher={Elsevier}， 年份={2004}， url={ https://doi.org/10.1016/j.entcs.2004.12.022 }， doi={10.1016/J.ENTCS.2004.12.022}， 时间戳={2022年12月13日星期二11:45:46+0100}， biburl={ https://dblp.org/rec/journals/entcs/AudemardBCS05.bib }， bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
