. . . “Marco Bozzano等人：诊断器规范、验证和合成的正式框架（2013）”。 _：ID_f95c75038ed6693a8b4d62af3d3ed3bb。_：ID_f95c75038ed6693a8b4d62af3d3ed3bb ._：ID_f95c75038ed6693a8b4d62af3d3ed3bb ._：识别号：f95c75038ed6693a8b4d62af3d3ed3bb“conf/aaai/BozzanoCGT13”。 “诊断器规范、验证和合成的正式框架。”。 . . . . . "4"^^. _：Sig_b1947cd25db42a7e43856a7e0c1c94ff_1。_：Sig_b1947cd25db42a7e43856a7e0c1c94ff_1 ._：Sig_b1947cd25db42a7e43856a7e0c1c94ff_1“马尔科·博扎诺”。_：Sig_b1947cd25db42a7e43856a7e0c1c94ff_1 ._：Sig_b1947cd25db42a7e43856a7e0c1c94ff_1 ._：Sig_b1947cd25db42a7e43856a7e0c1c94ff_1"1"^^._：Sig_b1947cd25db42a7e43856a7e0c1c94ff_1 . _：Sig_b1947cd25db42a7e43856a7e0c1c94ff_2。_：Sig_b1947cd25db42a7e43856a7e0c1c94ff_2 ._：Sig_b1947cd25db42a7e43856a7e0c1c94ff_2“亚历山德罗·西马蒂”。_：Sig_b1947cd25db42a7e43856a7e0c1c94ff_2 ._：Sig_b1947cd25db42a7e43856a7e0c1c94ff_2“2”^^._：Sig_b1947cd25db42a7e43856a7e0c1c94ff_2 . _：Sig_b1947cd25db42a7e43856a7e0c1c94ff_3。_：Sig_b1947cd25db42a7e43856a7e0c1c94ff_3 ._：Sig_b1947cd25db42a7e43856a7e0c1c94ff_3“马可·加里奥”。_：Sig_b1947cd25db42a7e43856a7e0c1c94ff_3 ._：Sig_b1947cd25db42a7e43856a7e0c1c94ff_3"3"^^._：Sig_b1947cd25db42a7e43856a7e0c1c94ff_3 . _：Sig_b1947cd25db42a7e43856a7e0c1c94ff_4。_：Sig_b1947cd25db42a7e43856a7e0c1c94ff_4 ._：Sig_b1947cd25db42a7e43856a7e0c1c94ff_4“斯特凡诺·托内塔”。_：Sig_b1947cd25db42a7e43856a7e0c1c94ff_4 ._：Sig_b1947cd25db42a7e43856a7e0c1c94ff_4"4"^^._：Sig_b1947cd25db42a7e43856a7e0c1c94ff_4 . . . “AAAI（最新发展）”。 “AAAI（最新发展）”。 "2013"^^. “2013年”^^. . “dblp记录'conf/aaai/BozzanoCGT13'的RDF数据的来源信息”。 . . . “2023-09-04T16:56:56+0200”。