Counterexample-Guided Abstraction Refinement (bibtex)
by Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith
Reference:
Counterexample-Guided Abstraction RefinementEdmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut VeithComputer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings (E. Allen Emerson, A. Prasad Sistla, eds.), pages 154-169, 2000, Springer.
Bibtex Entry:
@inproceedings{DBLP:conf/cav/ClarkeGJLV00,
  author = {Edmund M. Clarke and Orna Grumberg and Somesh Jha and Yuan Lu and   Helmut Veith},
  title = {Counterexample-Guided Abstraction Refinement},
  year = {2000},
  booktitle = {Computer Aided Verification, 12th International Conference, CAV   2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
  editor = {E. Allen Emerson and A. Prasad Sistla},
  pages = {154--169},
  publisher = {Springer},
  isbn = {3-540-67770-4}
}
Powered by bibtexbrowser