ShachamZ03'

BibTeX

@inproceedings{DBLP:conf/mtv/ShachamZ03,
  author    = {Ohad Shacham and
               Emmanuel Zarpas},
  title     = {Tuning the VSIDS Decision Heuristic for Bounded Model Checking},
  booktitle = {MTV},
  year      = {2003},
  pages     = {75-},
  ee        = {http://csdl.computer.org/comp/proceedings/mtv/2003/2045/00/20450075abs.htm},
  crossref  = {DBLP:conf/mtv/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/mtv/2003,
  title     = {Fourth International Workshop on Microprocessor Test and
               Verification, Common Challenges and Solutions (MTV 2003),
               May 29-30, 2003, Hyatt Town Lake Hotel, Austin, Texas, USA},
  booktitle = {MTV},
  publisher = {IEEE Computer Society},
  year      = {2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}