%0 Journal Article %1 Clarke2003 %A Clarke, E.M. %A Grumberg, O. %A Jha, S. %A Lu, Y. %A Veith, H. %D 2003 %J Journal of the ACM %K %N 5 %P 752-794 %T Counterexample-Guided Abstraction Refinement for Symbolic Model Checking %V 50

@article{Clarke2003, added-at = {2012-08-06T21:21:43.000+0200}, author = {Clarke, E.M. and Grumberg, O. and Jha, S. and Lu, Y. and Veith, H.}, biburl = {https://www.bibsonomy.org/bibtex/258e06f4b0a46b39fad7f9cfbd12c132b/lucio_duarte}, groups = {public}, interhash = {cc1e55482ef0062baaa88e311423e8c9}, intrahash = {58e06f4b0a46b39fad7f9cfbd12c132b}, journal = {Journal of the ACM}, keywords = {}, month = {September}, number = 5, pages = {752-794}, timestamp = {2012-08-06T21:21:43.000+0200}, title = {Counterexample-{G}uided {A}bstraction {R}efinement for {S}ymbolic {M}odel {C}hecking}, username = {lucio_duarte}, volume = 50, year = 2003 }