BibTeX record journals/tr/MakrisBO04

download as .bib file

@article{DBLP:journals/tr/MakrisBO04,
  author    = {Yiorgos Makris and
               Ismet Bayraktaroglu and
               Alex Orailoglu},
  title     = {Enhancing reliability of {RTL} controller-datapath circuits via Invariant-based
               concurrent test},
  journal   = {{IEEE} Trans. Reliability},
  volume    = {53},
  number    = {2},
  pages     = {269--278},
  year      = {2004},
  url       = {http://dx.doi.org/10.1109/TR.2004.829175},
  doi       = {10.1109/TR.2004.829175},
  timestamp = {Wed, 09 Mar 2016 15:46:58 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tr/MakrisBO04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}