提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/aaai/BittnerBCZ16AU-本杰明·比特纳澳大利亚-波扎诺，马尔科AU-亚历山德罗·西马蒂澳大利亚-赞佩德里，詹尼TI-故障传播模型的自动验证和拧紧。BT-第三十届AAAI人工智能会议论文集，2016年2月12日至17日，美国亚利桑那州凤凰城。SP-907型EP-9132016年上半年//DO-10.1609/AAAI。V30I1.10094版UR-（欧元）https://doi.org/10.1609/aaai.v30i1.10094急诊室-