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/fmcad/ZhuHHSG09.rdf
He Zhu et al.: Data mining based decomposition for assume-guarantee reasoning. (2009) conf/fmcad/ZhuHHSG09 10.1109/FMCAD.2009.5351134 Data mining based decomposition for assume-guarantee reasoning. 5 He Zhu 0001 1 Fei He 0001 2 William N. N. Hung 3 Xiaoyu Song 4 Ming Gu 0001 5 116-119 FMCAD FMCAD 2009 2009 provenance information for RDF data of dblp record 'conf/fmcad/ZhuHHSG09' 2019-10-21T08:08:02+0200