DBLP Record 'journals/ac/BiereCCSZ03'

BibTeX

@article{DBLP:journals/ac/BiereCCSZ03,
  author    = {Armin Biere and
               Alessandro Cimatti and
               Edmund M. Clarke and
               Ofer Strichman and
               Yunshan Zhu},
  title     = {Bounded model checking},
  journal   = {Advances in Computers},
  volume    = {58},
  year      = {2003},
  pages     = {118-149},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}