提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/aaai/BozzanoCGM15澳大利亚-波扎诺，马尔科AU-亚历山德罗·西马蒂澳大利亚-加里奥，马尔科AU-米其利，安德里亚基于TI-SMT的定时故障传播图验证。BT-第二十九届AAAI人工智能会议记录，2015年1月25日至30日，美国得克萨斯州奥斯汀。SP-3724型EP-37302015年上半年//DO-10.1609/AAAI。第29版第1.9753页UR-（欧元）https://doi.org/10.1609/aaai.v29i1.9753急诊室-