Marco Bozzano等人：诊断器规范、验证和合成的正式框架。(2013) conf/aaai/BozzanoCGT13 诊断器规范、验证和综合的形式化框架。 4 马可·波扎诺 1 亚历山德罗·西马蒂 2 马可·加里奥 三 斯特凡诺·托内塔 4 AAAI（最新发展） AAAI（最新发展） 2013 2013 dblp记录“conf/aaai/BozzanoCGT13”的RDF数据的来源信息 2023-09-04T16:56:56+0200