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/date/HaoXRY10.nt
. . . . "Kecheng Hao et al.: Optimizing equivalence checking for behavioral synthesis. (2010)" . . _:ID_3795d42abf4a3ebf853f9758f301ca40 . _:ID_3795d42abf4a3ebf853f9758f301ca40 . _:ID_3795d42abf4a3ebf853f9758f301ca40 . _:ID_3795d42abf4a3ebf853f9758f301ca40 . _:ID_3795d42abf4a3ebf853f9758f301ca40 "conf/date/HaoXRY10" . _:ID_d979c07a9d4b6abc5428393d1354196a . _:ID_d979c07a9d4b6abc5428393d1354196a . _:ID_d979c07a9d4b6abc5428393d1354196a . _:ID_d979c07a9d4b6abc5428393d1354196a . _:ID_d979c07a9d4b6abc5428393d1354196a "10.1109/DATE.2010.5457049" . "Optimizing equivalence checking for behavioral synthesis." . . . . . . . . . . "4"^^ . _:Sig_4e09ebe80f03c4039bb3af1642bb4f84_1 . _:Sig_4e09ebe80f03c4039bb3af1642bb4f84_1 . _:Sig_4e09ebe80f03c4039bb3af1642bb4f84_1 . _:Sig_4e09ebe80f03c4039bb3af1642bb4f84_1 "Kecheng Hao" . _:Sig_4e09ebe80f03c4039bb3af1642bb4f84_1 . _:Sig_4e09ebe80f03c4039bb3af1642bb4f84_1 "1"^^ . _:Sig_4e09ebe80f03c4039bb3af1642bb4f84_1 . _:Sig_4e09ebe80f03c4039bb3af1642bb4f84_2 . _:Sig_4e09ebe80f03c4039bb3af1642bb4f84_2 . _:Sig_4e09ebe80f03c4039bb3af1642bb4f84_2 . _:Sig_4e09ebe80f03c4039bb3af1642bb4f84_2 "Fei Xie" . _:Sig_4e09ebe80f03c4039bb3af1642bb4f84_2 . _:Sig_4e09ebe80f03c4039bb3af1642bb4f84_2 "2"^^ . _:Sig_4e09ebe80f03c4039bb3af1642bb4f84_2 . _:Sig_4e09ebe80f03c4039bb3af1642bb4f84_3 . _:Sig_4e09ebe80f03c4039bb3af1642bb4f84_3 . _:Sig_4e09ebe80f03c4039bb3af1642bb4f84_3 . _:Sig_4e09ebe80f03c4039bb3af1642bb4f84_3 "Sandip Ray" . _:Sig_4e09ebe80f03c4039bb3af1642bb4f84_3 . _:Sig_4e09ebe80f03c4039bb3af1642bb4f84_3 "3"^^ . _:Sig_4e09ebe80f03c4039bb3af1642bb4f84_3 . _:Sig_4e09ebe80f03c4039bb3af1642bb4f84_4 . _:Sig_4e09ebe80f03c4039bb3af1642bb4f84_4 . _:Sig_4e09ebe80f03c4039bb3af1642bb4f84_4 . _:Sig_4e09ebe80f03c4039bb3af1642bb4f84_4 "Jin Yang 0006" . _:Sig_4e09ebe80f03c4039bb3af1642bb4f84_4 . _:Sig_4e09ebe80f03c4039bb3af1642bb4f84_4 "4"^^ . _:Sig_4e09ebe80f03c4039bb3af1642bb4f84_4 . . . . . . "1500-1505" . "DATE" . "DATE" . "2010"^^ . "2010"^^ . . "provenance information for RDF data of dblp record 'conf/date/HaoXRY10'" . . . . "2022-01-17T09:11:17+0100" .