BibTeX record journals/corr/abs-1801-04886

download as .bib file

@article{DBLP:journals/corr/abs-1801-04886,
  author       = {Khaza Anuarul Hoque and
                  Otmane A{\"{\i}}t Mohamed and
                  Yvon Savaria},
  title        = {Formal Dependability Modeling and Optimization of Scrubbed-Partitioned
                  {TMR} for SRAM-based FPGAs},
  journal      = {CoRR},
  volume       = {abs/1801.04886},
  year         = {2018},
  url          = {http://arxiv.org/abs/1801.04886},
  eprinttype    = {arXiv},
  eprint       = {1801.04886},
  timestamp    = {Mon, 13 Aug 2018 16:46:28 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1801-04886.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics