. . . . . 《Wan Yongbing等人：从符号模型测试无功系统的形式化方法》（2012）。 . . _：ID_01baabba04033683e7f35172feabbac2。_：ID_01baabba04033683e7f35172feabbac2编号 ._：ID_01baabba04033683e7f35172feabbac2 ._：ID_01baabba04033683e7f35172feabbac2“conf/aici/WanXM12”。 _：ID_3019e42f0b863b46eb3bb5468a6a9966。_：ID_3019e42f0b863b46eb3bb5468a6a9966 ._：ID_3019e42f0b863b46eb3bb5468a6a9966 ._：ID_3019e42f0b863b46eb3bb5468a6a9966"10.1007/978-3-642-33478-8_76" . “从符号模型测试无功系统的形式化方法”。 . . . . "3"^^. _：Sig_b9b47bb3ed40203f9fed216ce7e8a47e_1。_：Sig_b9b47bb3ed40203f9fed216ce7e8a47e_1 ._：Sig_b9b47bb3ed40203f9fed216ce7e8a47e_1“永冰丸”。_：Sig_b9b47bb3ed40203f9fed216ce7e8a47e_1 ._：Sig_b9b47bb3ed40203f9fed216ce7e8a47e_1"1"^^._：Sig_b9b47bb3ed40203f9fed216ce7e8a47e_1 . _：Sig_b9b47bb3ed40203f9fed216ce7e8a47e_2。_：Sig_b9b47bb3ed40203f9fed216ce7e8a47e_2 ._：Sig_b9b47bb3ed40203f9fed216ce7e8a47e_2“徐中伟”。_：Sig_b9b47bb3ed40203f9fed216ce7e8a47e_2 ._：Sig_b9b47bb3ed40203f9fed216ce7e8a47e_2"2"^^._：Sig_b9b47bb3ed40203f9fed216ce7e8a47e_2 . _：Sig_b9b47bb3ed40203f9fed216ce7e8a47e_3。_：Sig_b9b47bb3ed40203f9fed216ce7e8a47e_3 ._：Sig_b9b47bb3ed40203f9fed216ce7e8a47e_3“孟梅”。_：Sig_b9b47bb3ed40203f9fed216ce7e8a47e_3 ._：Sig_b9b47bb3ed40203f9fed216ce7e8a47e_3"3"^^._：Sig_b9b47bb3ed40203f9fed216ce7e8a47e_3 . . . . "612-625" . “AICI”。 “AICI”。 "2012"^^. "2012"^^. . “dblp记录'conf/aici/WanXM12'的RDF数据的起源信息”。 . . . “2017-05-19T01:25:09+0200”。