BibTeX record journals/cad/DengBT00

download as .bib file

@article{DBLP:journals/cad/DengBT00,
  author    = {Y.{-}M. Deng and
               G. A. Britton and
               Shu Beng Tor},
  title     = {Constraint-based functional design verification for conceptual design},
  journal   = {Computer-Aided Design},
  volume    = {32},
  number    = {14},
  pages     = {889--899},
  year      = {2000},
  url       = {http://dx.doi.org/10.1016/S0010-4485(00)00077-4},
  doi       = {10.1016/S0010-4485(00)00077-4},
  timestamp = {Thu, 28 Nov 2013 16:30:24 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/cad/DengBT00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}