. . . . . . “Marco Bozzano等人：通过符号模型检查对哥斯达黎加模型进行安全评估。（2015）”。 . . . _：ID_5d8185f410065883c0057e4e54d1f184。_：ID_5d8185f410065883c0057e4e54d1f184 ._：ID_5d8185f410065883c0057e4e54d1f184 ._：ID_5d8185f410065883c0057e4e54d1f184“日记账/scp/BozzanoCLMMRT15”。 _：ID_55fcdaeacb0f1c0033856c97bebcba31。_：ID_55fcdaeacb0f1c0033856c97bebcba31 ._：ID_55fcdaeacb0f1c0033856c97bebcba31 ._：ID_55fcdaeacb0f1c0033856c97bebcba31“10.1016/J.SCICO.2014.06.003”。 _：ID_a6b83c0c06a8e4bc904f58a012296db1。_：ID_a6b83c0c06a8e4bc904f58a012296db1 ._：ID_a6b83c0c06a8e4bc904f58a012296db1 ._：ID_a6b83c0c06a8e4bc904f58a012296db1“Q62041131”。 “通过符号模型检查对AltaRica模型进行安全评估。”。 . . . . . . . . "7"^^. _：Sig_4a63a4d10499f3c7ace79d2b49658cc8_1。_：Sig_4a63a4d10499f3c7ace79d2b49658cc8_1 ._：Sig_4a63a4d10499f3c7ace79d2b49658cc8_1“马可·波扎诺”。_：Sig_4a63a4d10499f3c7ace79d2b49658cc8_1 ._：Sig_4a63a4d10499f3c7ace79d2b49658cc8_1 ._：Sig_4a63a4d10499f3c7ace79d2b49658cc8_1"1"^^._：Sig_4a63a4d10499f3c7ace79d2b49658cc8_1 . _：Sig_4a63a4d10499f3c7ace79d2b49658cc8_2。_：Sig_4a63a4d10499f3c7ace79d2b49658cc8_2 ._：Sig_4a63a4d10499f3c7ace79d2b49658cc8_2“亚历山德罗·西马蒂”。_：Sig_4a63a4d10499f3c7ace79d2b49658cc8_2 ._：Sig_4a63a4d10499f3c7ace79d2b49658cc8_2 ._：Sig_4a63a4d10499f3c7ace79d2b49658cc8_2“2”^^._：Sig_4a63a4d10499f3c7ace79d2b49658cc8_2 . _：Sig_4a63a4d10499f3c7ace79d2b49658cc8_3。_：Sig_4a63a4d10499f3c7ace79d2b49658cc8_3 ._：Sig_4a63a4d10499f3c7ace79d2b49658cc8_3“Oleg Lisagor”。_：Sig_4a63a4d10499f3c7ace79d2b49658cc8_3 ._：Sig_4a63a4d10499f3c7ace79d2b49658cc8_3"3"^^._：Sig_4a63a4d10499f3c7ace79d2b49658cc8_3 . _：Sig_4a63a4d10499f3c7ace79d2b49658cc8_4。_：Sig_4a63a4d10499f3c7ace79d2b49658cc8_4 ._：Sig_4a63a4d10499f3c7ace79d2b49658cc8_4“克里斯蒂安·马塔雷”。_：Sig_4a63a4d10499f3c7ace79d2b49658cc8_4 ._：Sig_4a63a4d10499f3c7ace79d2b49658cc8_4 ._：Sig_4a63a4d10499f3c7ace79d2b49658cc8_4"4"^^._：Sig_4a63a4d10499f3c7ace79d2b49658cc8_4 . _：Sig_4a63a4d10499f3c7ace79d2b49658cc8_5。_：Sig_4a63a4d10499f3c7ace79d2b49658cc8_5 ._：Sig_4a63a4d10499f3c7ace79d2b49658cc8_5“Sergio Mover”。_：Sig_4a63a4d10499f3c7ace79d2b49658cc8_5 ._：Sig_4a63a4d10499f3c7ace79d2b49658cc8_5"5"^^._：Sig_4a63a4d10499f3c7ace79d2b49658cc8_5 . _：Sig_4a63a4d10499f3c7ace79d2b49658cc8_6。_：Sig_4a63a4d10499f3c7ace79d2b49658cc8_6 ._：Sig_4a63a4d10499f3c7ace79d2b49658cc8_6“马可·罗维里”。_：Sig_4a63a4d10499f3c7ace79d2b49658cc8_6 ._：Sig_4a63a4d10499f3c7ace79d2b49658cc8_6 ._：Sig_4a63a4d10499f3c7ace79d2b49658cc8_6"6"^^._：Sig_4a63a4d10499f3c7ace79d2b49658cc8_6 . _：Sig_4a63a4d10499f3c7ace79d2b49658cc8_7。_：信号_4a63a4d10499f3c7ace79d2b49658cc8_7 ._：Sig_4a63a4d10499f3c7ace79d2b49658cc8_7“斯特凡诺·托内塔”。_：Sig_4a63a4d10499f3c7ace79d2b49658cc8_7 ._：Sig_4a63a4d10499f3c7ace79d2b49658cc8_7“7”^^._：Sig_4a63a4d10499f3c7ace79d2b49658cc8_7 . . . . "464-483" . “科学计算程序”。 “科学计算程序”。 "98" . "2015"^^. “dblp记录'journals/scp/BozzanoCLMMRT15'的RDF数据的起源信息”。 . . . “2021-10-14T08:58:39+0200”。