%0 Journal Article %1 journals/jacm/ClarkeGJLV03 %A Clarke, Edmund M. %A Grumberg, Orna %A Jha, Somesh %A Lu, Yuan %A Veith, Helmut %D 2003 %J J. ACM %K dblp %N 5 %P 752-794 %T Counterexample-guided abstraction refinement for symbolic model checking. %U http://dblp.uni-trier.de/db/journals/jacm/jacm50.html#ClarkeGJLV03 %V 50

@article{journals/jacm/ClarkeGJLV03, added-at = {2021-01-19T00:00:00.000+0100}, author = {Clarke, Edmund M. and Grumberg, Orna and Jha, Somesh and Lu, Yuan and Veith, Helmut}, biburl = {https://www.bibsonomy.org/bibtex/2becade8b3f3adb7aa76af2996316b180/dblp}, ee = {https://doi.org/10.1145/876638.876643}, interhash = {cc1e55482ef0062baaa88e311423e8c9}, intrahash = {becade8b3f3adb7aa76af2996316b180}, journal = {J. ACM}, keywords = {dblp}, number = 5, pages = {752-794}, timestamp = {2024-04-08T20:02:13.000+0200}, title = {Counterexample-guided abstraction refinement for symbolic model checking.}, url = {http://dblp.uni-trier.de/db/journals/jacm/jacm50.html#ClarkeGJLV03}, volume = 50, year = 2003 }