. . . . . “Marco Bozzano和Adolfo Villafiorita：FSAP/NuSMV-SA安全分析平台（2007）”。 . . _：ID_c8509730897a6ec4198dabd0f5d3a8c5。_：ID_c8509730897a6ec4198dabd0f5d3a8c5 ._：ID_c8509730897a6ec4198dabd0f5d3a8c5 ._：ID_c8509730897a6ec4198dabd0f5d3a8c5“journals/sttt/BozzanoV07”。 _：ID_f77e02b03478cf414b8daf74cb5b7fac。_：ID_f77e02b03478cf414b8daf74cb5b7fac ._：ID_f77e02b03478cf414b8daf74cb5b7fac ._：ID_f77e02b03478cf414b8daf74cb5b7fac“10.1007/S10009-006-0001-2”。 “FSAP/NuSMV-SA安全分析平台”。 . . . “2”^^. _：Sig_8ba936eee503ce08dce64b8f515d0809_1。_：Sig_8ba936eee503ce08dce64b8f515d0809_1 ._：Sig_8ba936eee503ce08dce64b8f515d0809_1“马尔科·博扎诺”。_：Sig_8ba936eee503ce08dce64b8f515d0809_1 ._：Sig_8ba936eee503ce08dce64b8f515d0809_1 ._：Sig_8ba936eee503ce08dce64b8f515d0809_1"1"^^._：Sig_8ba936eee503ce08dce64b8f515d0809_1 . _：Sig_8ba936eee503ce08dce64b8f515d0809_2。_：Sig_8ba936eee503ce08dce64b8f515d0809_2 ._：Sig_8ba936eee503ce08dce64b8f515d0809_2“阿道夫·维拉菲奥里塔”。_：Sig_8ba936eee503ce08dce64b8f515d0809_2 ._：Sig_8ba936eee503ce08dce64b8f515d0809_2 ._：Sig_8ba936eee503ce08dce64b8f515d0809_2“2”^^._：Sig_8ba936eee503ce08dce64b8f515d0809_2 . . . . "5-24" . “国际期刊软件工具技术翻译”。 “国际期刊软件工具技术翻译”。 "9" . "1" . "2007"^^. “dblp记录'journals/sttt/BozzanoV07'的RDF数据的来源信息”。 . . . “2021-10-14T09:28:38+0200”。