. . . . . “Marco Bozzano等人：Altarica模型的符号模型检查和安全评估（2011）”。 . . _：ID_ec7a8d19c6c30e7913a5a3cce942067a。_：ID_ec7a8d19c6c30e7913a5a3cce942067a ._：ID_ec7a8d19c6c30e7913a5a3cce942067a ._：ID_ec7a8d19c6c30e7913a5a3cce942067a“日记账/eceasst/BozzanoCLMMRT11”。 _：识别号_85和9af7b09334f6698c078cb096aa46。_：ID_85ad9af7b09334f6698c078cb096aa46 ._：ID_85ad9af7b09334f6698c078cb096aa46 ._：ID_85ad9af7b09334f6698c078cb096aa46“10.14279/TUJ.ECEASST.46.697”。 “Altarica模型的符号模型检查和安全评估”。 . . . . . . . . "7"^^. _：Sig_90f8350370a4e5bdb8234bb69323ddbe_1。_：Sig_90f8350370a4e5bdb8234bb69323ddbe_1 ._：Sig_90f8350370a4e5bdb8234bb69323ddbe_1“马尔科·博扎诺”。_：信号_90f8350370a555bdb8234bb69323ddbe_1 ._：Sig_90f8350370a4e5bdb8234bb69323ddbe_1 ._：Sig_90f8350370a4e5bdb8234bb69323ddbe_1"1"^^._：Sig_90f8350370a4e5bdb8234bb69323ddbe_1 . _：Sig_90f8350370a4e5bdb8234bb69323ddbe_2。_：Sig_90f8350370a4e5bdb8234bb69323ddbe_2 ._：Sig_90f8350370a4e5bdb8234bb69323ddbe_2“亚历山德罗·西马蒂”。_：Sig_90f8350370a4e5bdb8234bb69323ddbe_2 ._：Sig_90f8350370a4e5bdb8234bb69323ddbe_2“2”^^._：Sig_90f8350370a4e5bdb8234bb69323ddbe_2 . _：Sig_90f8350370a4e5bdb8234bb69323ddbe_3。_：Sig_90f8350370a4e5bdb8234bb69323ddbe_3 ._：Sig_90f8350370a4e5bdb8234bb69323ddbe_3“Oleg Lisagor”。_：Sig_90f8350370a4e5bdb8234bb69323ddbe_3 ._：Sig_90f8350370a4e5bdb8234bb69323ddbe_3"3"^^._：Sig_90f8350370a4e5bdb8234bb69323ddbe_3 . _：Sig_90f8350370a4e5bdb8234bb69323ddbe_4。_：信号_90f8350370a555bdb8234bb69323ddbe_4 ._：Sig_90f8350370a4e5bdb8234bb69323ddbe_4“克里斯蒂安·马塔雷”。_：Sig_90f8350370a4e5bdb8234bb69323ddbe_4 ._：Sig_90f8350370a4e5bdb8234bb69323ddbe_4"4"^^._：Sig_90f8350370a4e5bdb8234bb69323ddbe_4 . _：信号_90f8350370a4e5bdb8234bb69323ddbe_5。_：信号_90f8350370a4e5bdb8234bb69323ddbe_5 ._：信号_90f8350370a4e5bdb8234bb69323ddbe_5“Sergio Mover”。_：信号_90f8350370a4e5bdb8234bb69323ddbe_5 ._：信号_90f8350370a4e5bdb8234bb69323ddbe_5"5"^^._：信号_90f8350370a455bdb8234bb69323ddbe_5 . _：Sig_90f8350370a4e5bdb8234bb69323ddbe_6。_：信号_90f8350370a4e5bdb8234bb69323ddbe_6 ._：信号_90f8350370a4e5bdb8234bb69323ddbe_6“马可·罗维里”。_：信号_90f8350370a4e5bdb8234bb69323ddbe_6 ._：信号_90f8350370a4e5bdb8234bb69323ddbe_6"6"^^._：信号_90f8350370a4e5bdb8234bb69323ddbe_6 . _：Sig_90f8350370a4e5bdb8234bb69323ddbe_7。_：信号_90f8350370a4e5bdb8234bb69323ddbe_7 ._：信号_90f8350370a55bdb8234bb69323ddbe_7“斯特凡诺·托内塔”。_：信号_90f8350370a4e5bdb8234bb69323ddbe_7 ._：信号_90f8350370a4e5bdb8234bb69323ddbe_7"7"^^._：信号_90f8350370a4e5bdb8234bb69323ddbe_7 . . . . 《电子通信欧洲协会软件科学技术》。 《电子通信欧洲协会软件科学技术》。 "46" . "2011"^^. “dblp记录'journals/eceasst/BozzanoCLMMRT11'的RDF数据的起源信息”。 . . . “2021-10-14T09:06:52+0200”。