BibTeX记录conf/aaai/BittnerBCO12
@正在处理{DBLP:conf/aaai/BittnerBCO12， author={Benjamin Bittner和 Marco Bozzano和 亚历山德罗·西马蒂和 泽维尔橄榄}， editor={J{\“{o}}rg Hoffmann和 巴特·塞尔曼}， title={可诊断性的可观测性要求的符号合成}， booktitle={第26届{AAAI}人工智能会议记录， 2012年7月22日至26日，加拿大安大略省多伦多市， 页数={712--718}， publisher={{AAAI}出版社}， 年份={2012}， url={ https://doi.org/10.1609/aaai.v26i1.8225 }， doi={10.1609/AAAI.V26I1.8225}， timestamp={2023年9月4日星期一16:50:23+0200}， biburl={ https://dblp.org/rec/conf/aaai/BittnerBCO12.bib }， bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
