BibTeX记录conf/fmcad/RabeT15
@正在进行{DBLP:conf/fmcad/RaeT15， author={Markus N.Rabe和 Leander Tentrup}， editor={Roope Kaivola和 托马斯·沃尔}， title={{CAQE:}{A}认证{QBF}解算器}， booktitle={计算机辅助设计中的形式方法，{FMCAD}2015，德克萨斯州奥斯汀， 美国，2015年9月27日至30日}， 页数={136--143}， publisher＝｛｛IEEE｝｝， 年份={2015年}， url={ https://doi.org/10.109/FMCAD.2015.7542263 }, doi={10.1109/FMCAD.2015.7542263}， timestamp={2023年5月30日星期二17:04:45+0200}， biburl={ https://dblp.org/rec/conf/fmcad/RabeT15.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
