. . . . . . “安东尼拉·古佐（Antonella Guzzo）等人：建模和有效检测安全关键行动序列。（2020年）”。 . . _：ID_ff462116e2773c2955083360e93ccfc96。_：ID_ff46216e2773c2955083360e93ccfc96 ._：ID_ff46216e2773c2955083360e93ccfc96 ._：ID_ff46216e2773c2955083360e93ccfc96 ._：ID_ff46216e2773c2955083360e93ccfc96“journals/fgcs/GuzzoIPS20”。 _：ID_2e738cedd2722312664b40e2df163562。_：ID_2e738cedd2722312664b40e2df163562 ._：ID_2e738cedd2722312664b40e2df163562 ._：ID_2e738cedd2722312664b40e2df163562 ._：ID_2e738cedd2722312664b40e2df163562“10.1016/J.未来.2020.06.054”。 _：ID_1de586ff02fa27ce4feb44163a42609b。_：ID_1de586ff02fa27ce4feb44163a42609b ._：ID_1de586ff02fa27ce4feb44163a42609b ._：ID_1de586ff02fa27ce4eb44163a42609b“Q11504316”。 “建模并有效检测安全关键的操作序列。”。 . . . . . . . . . "4"^^. _：Sig_c29ec12c82fd21d913dbd5ccef565bda_1。_：Sig_c29ec12c82fd21d913dbd5ccef565bda_1 ._：Sig_c29ec12c82fd21d913dbd5ccef565bda_1 ._：Sig_c29ec12c82fd21d913dbd5ccef565bda_1“安东尼拉·古佐”。_：Sig_c29ec12c82fd21d913dbd5ccef565bda_1 ._：Sig_c29ec12c82fd21d913dbd5ccef565bda_1"1"^^._：Sig_c29ec12c82fd21d913dbd5ccef565bda_1 . _：Sig_c29ec12c82fd21d913dbd5ccef565bda_2。_：Sig_c29ec12c82fd21d913dbd5ccef565bda_2 ._：信号_c29ec12c82fd21d913dbd5ccef565bda_2 ._：Sig_c29ec12c82fd21d913dbd5ccef565bda_2“米歇尔·伊安尼”。_：Sig_c29ec12c82fd21d913dbd5ccef565bda_2 ._：Sig_c29ec12c82fd21d913dbd5ccef565bda_2"2"^^._：Sig_c29ec12c82fd21d913dbd5ccef565bda_2 . _：Sig_c29ec12c82fd21d913dbd5ccef565bda_3。_：Sig_c29ec12c82fd21d913dbd5ccef565bda_3 ._：Sig_c29ec12c82fd21d913dbd5ccef565bda_3 ._：Sig_c29ec12c82fd21d913dbd5ccef565bda_3“Andrea Pugliese 0001”。_：Sig_c29ec12c82fd21d913dbd5ccef565bda_3 ._：Sig_c29ec12c82fd21d913dbd5ccef565bda_3"3"^^._：Sig_c29ec12c82fd21d913dbd5ccef565bda_3 . _：Sig_c29ec12c82fd21d913dbd5ccef565bda_4。_：Sig_c29ec12c82fd21d913dbd5ccef565bda_4 ._：Sig_c29ec12c82fd21d913dbd5ccef565bda_4 ._：Sig_c29ec12c82fd21d913dbd5ccef565bda_4“Domenico Sacc\u00E0”。_：Sig_c29ec12c82fd21d913dbd5ccef565bda_4 ._：Sig_c29ec12c82fd21d913dbd5ccef565bda_4"4"^^._：Sig_c29ec12c82fd21d913dbd5ccef565bda_4 . . . . . "196-206" . “未来通用计算系统”。 “未来通用计算系统”。 "113" . "2020"^^. “dblp记录'journals/fgcs/GuzzoIPS20'的RDF数据的来源信息”。 . . . “2023-08-28T21:32:33+0200”。