Counterexample-guided abstraction refinement for symbolic model checking (bibtex)
by Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith
Reference:
Counterexample-guided abstraction refinement for symbolic model checkingEdmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut VeithJ. ACM, volume 50, number 5, pages 752-794, 2003.
Bibtex Entry:
@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},
  number = {5},
  year = {2003},
  journal = {J. ACM},
  pages = {752--794},
  volume = {50},
  url = {http://doi.acm.org/10.1145/876638.876643}
}
Powered by bibtexbrowser