%0 Conference Paper %1 conf/cscwd/DengWB06 %A Deng, Shujun %A Wu, Weimin %A Bian, Jinian %B CSCWD %D 2006 %I IEEE %K dblp %P 522-528 %T Cooperative Bounded Model Checking Using STE and Hybrid Three-Valued SAT Solving. %U http://dblp.uni-trier.de/db/conf/cscwd/cscwd2006.html#DengWB06 %@ 1-4244-0165-8

@inproceedings{conf/cscwd/DengWB06, added-at = {2017-05-24T00:00:00.000+0200}, author = {Deng, Shujun and Wu, Weimin and Bian, Jinian}, biburl = {https://www.bibsonomy.org/bibtex/20a7f11c76c77f24217187b541a916297/dblp}, booktitle = {CSCWD}, crossref = {conf/cscwd/2006}, ee = {https://doi.org/10.1109/CSCWD.2006.253184}, interhash = {6fee96ad450d706466eeeea1e8cd1ff4}, intrahash = {0a7f11c76c77f24217187b541a916297}, isbn = {1-4244-0165-8}, keywords = {dblp}, pages = {522-528}, publisher = {IEEE}, timestamp = {2019-10-17T20:56:04.000+0200}, title = {Cooperative Bounded Model Checking Using STE and Hybrid Three-Valued SAT Solving.}, url = {http://dblp.uni-trier.de/db/conf/cscwd/cscwd2006.html#DengWB06}, year = 2006 }