iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/atva/HeSGS06.nt
. . . . "Fei He et al.: A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement. (2006)" . . _:ID_028834578b758c21e8c0da10861e1060 . _:ID_028834578b758c21e8c0da10861e1060 . _:ID_028834578b758c21e8c0da10861e1060 . _:ID_028834578b758c21e8c0da10861e1060 . _:ID_028834578b758c21e8c0da10861e1060 "conf/atva/HeSGS06" . _:ID_30e76ccc92f890e4bb4ac166cc296eaf . _:ID_30e76ccc92f890e4bb4ac166cc296eaf . _:ID_30e76ccc92f890e4bb4ac166cc296eaf . _:ID_30e76ccc92f890e4bb4ac166cc296eaf . _:ID_30e76ccc92f890e4bb4ac166cc296eaf "10.1007/11901914_6" . "A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement." . . . . . . . . . . "4"^^ . _:Sig_ba82045174b275dda0baaa0a6f5afa1c_1 . _:Sig_ba82045174b275dda0baaa0a6f5afa1c_1 . _:Sig_ba82045174b275dda0baaa0a6f5afa1c_1 . _:Sig_ba82045174b275dda0baaa0a6f5afa1c_1 "Fei He 0001" . _:Sig_ba82045174b275dda0baaa0a6f5afa1c_1 . _:Sig_ba82045174b275dda0baaa0a6f5afa1c_1 "1"^^ . _:Sig_ba82045174b275dda0baaa0a6f5afa1c_1 . _:Sig_ba82045174b275dda0baaa0a6f5afa1c_2 . _:Sig_ba82045174b275dda0baaa0a6f5afa1c_2 . _:Sig_ba82045174b275dda0baaa0a6f5afa1c_2 . _:Sig_ba82045174b275dda0baaa0a6f5afa1c_2 "Xiaoyu Song" . _:Sig_ba82045174b275dda0baaa0a6f5afa1c_2 . _:Sig_ba82045174b275dda0baaa0a6f5afa1c_2 "2"^^ . _:Sig_ba82045174b275dda0baaa0a6f5afa1c_2 . _:Sig_ba82045174b275dda0baaa0a6f5afa1c_3 . _:Sig_ba82045174b275dda0baaa0a6f5afa1c_3 . _:Sig_ba82045174b275dda0baaa0a6f5afa1c_3 . _:Sig_ba82045174b275dda0baaa0a6f5afa1c_3 "Ming Gu 0001" . _:Sig_ba82045174b275dda0baaa0a6f5afa1c_3 . _:Sig_ba82045174b275dda0baaa0a6f5afa1c_3 "3"^^ . _:Sig_ba82045174b275dda0baaa0a6f5afa1c_3 . _:Sig_ba82045174b275dda0baaa0a6f5afa1c_4 . _:Sig_ba82045174b275dda0baaa0a6f5afa1c_4 . _:Sig_ba82045174b275dda0baaa0a6f5afa1c_4 . _:Sig_ba82045174b275dda0baaa0a6f5afa1c_4 "Jia-Guang Sun 0001" . _:Sig_ba82045174b275dda0baaa0a6f5afa1c_4 . _:Sig_ba82045174b275dda0baaa0a6f5afa1c_4 "4"^^ . _:Sig_ba82045174b275dda0baaa0a6f5afa1c_4 . . . . . "39-50" . "ATVA" . "ATVA" . "2006"^^ . "2006"^^ . . "provenance information for RDF data of dblp record 'conf/atva/HeSGS06'" . . . . "2020-08-25T17:00:53+0200" .