. . . . . “Benjamin Bittner等人：故障传播模型的自动验证和收紧（2016）”。 . . _：ID_be093fdc147419a74ffa2d87c2dc8428。_：ID_be093fdc147419a74ffa2d87c2dc8428 ._：ID_be093fdc147419a74ffa2d87c2dc8428 ._：ID_be093fdc147419a74ffa2d87c2dc8428“conf/aaai/BittnerBCZ16”。 _：ID_a5794be7260428a4b9cb23cd9f7f50cb。_：ID_a5794be7260428a4b9cb23cd9f7f50cb ._：ID_a5794be7260428a4b9cb23cd9f7f50cb ._：ID_a5794be7260428a4b9cb23cd9f7f50cb“10.1609/AAAI.V30I1.10094”。 “故障传播模型的自动验证和拧紧”。 . . . . . "4"^^. _：Sig_764147aae351daeb0832355691ba456c_1。_：Sig_764147aae351daeb0832355691ba456c_1 ._：Sig_764147aae351daeb0832355691ba456c_1“本杰明·比特纳”。_：Sig_764147aae351daeb0832355691ba456c_1 ._：Sig_764147aae351daeb0832355691ba456c_1"1"^^._：Sig_764147aae351daeb0832355691ba456c_1 . _：Sig_764147aae351daeb0832355691ba456c_2。_：信号_764147aae351daeb083235691ba456c_2 ._：信号_764147aae351daeb083235691ba456c_2“马尔科·博扎诺”。_：信号_764147aae351daeb083235691ba456c_2 ._：信号_764147aae351daeb083235691ba456c_2 ._：信号_764147aae351daeb083235691ba456c_2“2”^^._：信号_764147aae351daeb083235691ba456c_2 . _：Sig_764147aae351daeb0832355691ba456c_3。_：信号_764147aae351daeb083235691ba456c_3 ._：信号_764147aae351daeb083235691ba456c_3“亚历山德罗·西马蒂”。_：信号_764147aae351daeb083235691ba456c_3 ._：信号_764147aae351daeb083235691ba456c_3"3"^^._：信号_764147aae351daeb083235691ba456c_3 . _：Sig_764147aae351daeb0832355691ba456c_4。_：Sig_764147aae351daeb0832355691ba456c_4 ._：Sig_764147aae351daeb0832355691ba456c_4“詹尼·赞佩德里”。_：Sig_764147aae351daeb0832355691ba456c_4 ._：Sig_764147aae351daeb0832355691ba456c_4"4"^^._：Sig_764147aae351daeb0832355691ba456c_4 . . . . "907-913" . “AAAI”。 “AAAI”。 "2016"^^. "2016"^^. . “dblp记录'conf/aaai/BittnerBCZ16'的RDF数据的起源信息”。 . . . “2023-09-04T16:50:23+0200”。