Marco Bozzano等人：通过谓词抽象对可靠性体系结构进行有效分析。(2013) conf/hvc/BozzanoCM13 10.1007/978-3-319-03077-7_19 Q62041168号 通过谓词抽象对可靠性体系结构进行有效分析。 三 马可·波扎诺 1 亚历山德罗·西马蒂 2 克里斯蒂安·马塔雷 三 279-294 海法核查会议 海法核查会议 2013 2013 dblp记录“conf/hvc/BozzanoCM13”的RDF数据的来源信息 2019-06-02T21:23:28+0200