. . . . . “Mohammad Izadi和Ali Movaghar:使用合成约简对基于组件的软件进行模型检查。（2008）”。 . . _：ID_653fb3bce28da810b67cc85d4ee6e211。_：ID_653fb3ce28da810b67cc85d4ee6e211 ._：ID_653fb3ce28da810b67cc85d4ee6e211 ._：ID_653fb3ce28da810b67cc85d4ee6e211“期刊/ijseke/IzadiM08”。 _：ID_946d1f3c8d8c088d9d7b0a5200809fd7。_：标识_946d1f3c8d8c088d9d7b0a520009fd7 ._：标识_946d1f3c8d8c088d9d7b0a520009fd7 ._：标识_946d1f3c8d8c088d9d7b0a520009fd7“10.1142/S0218194008003775”。 “使用合成约简对基于组件的软件进行模型检查。”。 . . . "2"^^. _：Sig_2898537b3e17075479d5681baa704155_1。_：Sig_2898537b3e17075479d5681baa704155_1 ._：Sig_2898537b3e17075479d5681baa704155_1“穆罕默德·伊扎迪”。_：Sig_2898537b3e17075479d5681baa704155_1 ._：Sig_2898537b3e17075479d5681baa704155_1"1"^^._：Sig_2898537b3e17075479d5681baa704155_1 . _：Sig_2898537b3e17075479d5681baa704155_2。_：Sig_2898537b3e17075479d5681baa704155_2 ._：Sig_2898537b3e17075479d5681baa704155_2“Ali Movaghar 0001”。_：Sig_2898537b3e17075479d5681baa704155_2 ._：Sig_2898537b3e17075479d5681baa704155_2"2"^^._：Sig_2898537b3e17075479d5681baa704155_2 . . . . "683-712" . “国际J.软件工程知识工程”。 “国际J.软件工程知识工程”。 “18”。 "5" . "2008"^^. “dblp记录'journals/ijseke/IzadiM08'的RDF数据的来源信息”。 . . . “2021-05-12T10:56:05+0200”。