Marco Bozzano等人：基于SMT的定时故障传播图验证。(2015) conf/aaai/BozzanoCGM15 10.1609/AAAI。第29版第1.9753页 基于SMT的定时故障传播图验证。 4 马可·波扎诺 1 亚历山德罗·西马蒂 2 马可·加里奥 三 安德烈亚·米凯利 4 3724-3730 AAAI公司 AAAI公司 2015 2015 dblp记录“conf/aaai/BozzanoCGM15”的RDF数据的来源信息 2023-09-18T11:22:44+0200