BibTeX record conf/glvlsi/KazmaHMS17

download as .bib file

@inproceedings{DBLP:conf/glvlsi/KazmaHMS17,
  author       = {Ghaith Kazma and
                  Ghaith Bany Hamad and
                  Otmane A{\"{\i}}t Mohamed and
                  Yvon Savaria},
  editor       = {Laleh Behjat and
                  Jie Han and
                  Miroslav N. Velev and
                  Deming Chen},
  title        = {Analysis of {SEU} Propagation in Combinational Circuits at {RTL} Based
                  on Satisfiability Modulo Theories},
  booktitle    = {Proceedings of the on Great Lakes Symposium on {VLSI} 2017, Banff,
                  AB, Canada, May 10-12, 2017},
  pages        = {239--244},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3060403.3060438},
  doi          = {10.1145/3060403.3060438},
  timestamp    = {Tue, 06 Nov 2018 16:59:34 +0100},
  biburl       = {https://dblp.org/rec/conf/glvlsi/KazmaHMS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics