@article{DBLP:journals/jacm/ClarkeGJLV03,
author = {Edmund M. Clarke and
Orna Grumberg and
Somesh Jha and
Yuan Lu and
Helmut Veith},
title = {Counterexample-guided abstraction refinement for symbolic
model checking},
journal = {J. ACM},
volume = {50},
number = {5},
year = {2003},
pages = {752-794},
ee = {http://doi.acm.org/10.1145/876638.876643},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2010-05-25 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
