BibTeX record conf/dft/HaghbayanARLT14

• > Home > conf/dft/HaghbayanARLT14

@inproceedings{DBLP:conf/dft/HaghbayanARLT14,
  author       = {Mohammad Hashem Haghbayan and
                  Bijan Alizadeh and
                  Amir{-}Mohammad Rahmani and
                  Pasi Liljeberg and
                  Hannu Tenhunen},
  title        = {Automated formal approach for debugging dividers using dynamic specification},
  booktitle    = {2014 {IEEE} International Symposium on Defect and Fault Tolerance
                  in {VLSI} and Nanotechnology Systems, {DFT} 2014, Amsterdam, The Netherlands,
                  October 1-3, 2014},
  pages        = {264--269},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/DFT.2014.6962068},
  doi          = {10.1109/DFT.2014.6962068},
  timestamp    = {Fri, 24 Mar 2023 00:02:09 +0100},
  biburl       = {https://dblp.org/rec/conf/dft/HaghbayanARLT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}