. . . . . . “Piergiorgio Bertoli等人：安全分析、诊断和合成的符号模型检查框架（2006）”。 . . . _：ID_9557cf3972d9d3b1e694e3d9df330db2。_：ID_9557cf3972d9d3b1e694e3d9df330db2 ._：ID_9557cf3972d9d3b1e694e3d9df330db2 ._：ID_9557cf3972d9d3b1e694e3d9df330db2“conf/mochart/BertoliBC06”。 _：ID_c4853ab91dd8342e91ad23668b7c573e。_：ID_c4853ab91dd8342e91ad23668b7c573e ._：ID_c4853ab91dd8342e91ad23668b7c573e ._：ID_c4853ab91dd8342e91ad23668b7c573e“10.1007/978-3-540-74128-2_1”。 _：ID_b3f734ca4e6038ea09ac16a4998051e5。_：ID_b3f734ca4e6038ea09ac16a4998051e5 ._：ID_b3f734ca4e6038ea09ac16a4998051e5 ._：ID_b3f734ca4e6038ea09ac16a4998051e5“Q62041335”。 “安全分析、诊断和合成的符号模型检查框架”。 . . . . "3"^^. _：Sig_58b06ef7ce6332f5a9ed83983abc6cf6_1。_：Sig_58b06ef7ce6332f5a9ed83983abc6cf6_1 ._：Sig_58b06ef7ce6332f5a9ed83983abc6cf6_1“皮耶吉奥·贝尔托利”。_：Sig_58b06ef7ce6332f5a9ed83983abc6cf6_1 ._：Sig_58b06ef7ce6332f5a9ed83983abc6cf6_1"1"^^._：Sig_58b06ef7ce6332f5a9ed83983abc6cf6_1 . _：Sig_58b06ef7ce6332f5a9ed83983bc6cf6_2。_：Sig_58b06ef7ce6332f5a9ed83983abc6cf6_2 ._：Sig_58b06ef7ce6332f5a9ed83983abc6cf6_2“马尔科·博扎诺”。_：Sig_58b06ef7ce6332f5a9ed83983abc6cf6_2 ._：Sig_58b06ef7ce6332f5a9ed83983abc6cf6_2"2"^^._：Sig_58b06ef7ce6332f5a9ed83983abc6cf6_2 . _：Sig_58b06ef7ce6332f5a9ed83983abc6cf6_3。_：Sig_58b06ef7ce6332f5a9ed83983abc6cf6_3 ._：Sig_58b06ef7ce6332f5a9ed83983abc6cf6_3“亚历山德罗·西马蒂”。_：Sig_58b06ef7ce6332f5a9ed83983abc6cf6_3 ._：Sig_58b06ef7ce6332f5a9ed83983abc6cf6_3 ._：Sig_58b06ef7ce6332f5a9ed83983abc6cf6_3"3"^^._：Sig_58b06ef7ce6332f5a9ed83983abc6cf6_3 . . . . "1-18" . “MoChArt”。 “MoChArt”。 "2006"^^. "2007"^^. . “dblp记录'conf/mochart/BertoliBC06'的RDF数据的来源信息”。 . . . “2019-06-02T21:26:24+0200”。