%0 Conference Paper %1 conf/fmcad/ZhuHHSG09 %A Zhu, He %A He, Fei %A Hung, William N. N. %A Song, Xiaoyu %A Gu, Ming %B FMCAD %D 2009 %I IEEE %K dblp %P 116-119 %T Data mining based decomposition for assume-guarantee reasoning. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2009.html#ZhuHHSG09 %@ 978-1-4244-4966-8

@inproceedings{conf/fmcad/ZhuHHSG09, added-at = {2019-10-21T00:00:00.000+0200}, author = {Zhu, He and He, Fei and Hung, William N. N. and Song, Xiaoyu and Gu, Ming}, biburl = {https://www.bibsonomy.org/bibtex/29527d6e29b74d1af8ac7ccefebbeebc9/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2009}, ee = {https://doi.org/10.1109/FMCAD.2009.5351134}, interhash = {6f8f5b3dcefdb5df878f9fda46fa04a6}, intrahash = {9527d6e29b74d1af8ac7ccefebbeebc9}, isbn = {978-1-4244-4966-8}, keywords = {dblp}, pages = {116-119}, publisher = {IEEE}, timestamp = {2019-10-22T14:41:21.000+0200}, title = {Data mining based decomposition for assume-guarantee reasoning.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2009.html#ZhuHHSG09}, year = 2009 }