%0 Journal Article %1 ivančić2008efficient %A Ivancić, F. %A Yang, Z. %A Ganai, M.K. %A Gupta, A. %A Ashar, P. %D 2008 %I Elsevier %J Theoretical Computer Science %K %N 3 %P 256--274 %T Efficient SAT-based bounded model checking for software verification %V 404

@article{ivančić2008efficient, added-at = {2010-05-21T13:14:31.000+0200}, author = {Ivan{\v{c}}i{\'c}, F. and Yang, Z. and Ganai, M.K. and Gupta, A. and Ashar, P.}, biburl = {https://www.bibsonomy.org/bibtex/2a86bcbb46d464797b23a1cb6ac9d54ac/hitpanglong}, file = {:home/me/mywork/mydocs/doctorProject/Papers/2010-3-14/08TCS_Efficient SAT-based bounded model checking for software verification_2.pdf:PDF;:home/me/mywork/mydocs/doctorProject/Papers/2010-3-14/08TCS_Efficient SAT-based bounded model checking for software verification.pdf:PDF}, interhash = {af2bbb159a2937428f0af91016ce6863}, intrahash = {a86bcbb46d464797b23a1cb6ac9d54ac}, journal = {Theoretical Computer Science}, keywords = {}, number = 3, pages = {256--274}, publisher = {Elsevier}, review = {I want to see the survey the auther mentioned. see a recent survey [56]}, timestamp = {2010-05-21T13:14:31.000+0200}, title = {{Efficient SAT-based bounded model checking for software verification}}, volume = 404, year = 2008 }