BibTeX record conf/memocode/SarbisheiTAF09

• > Home > conf/memocode/SarbisheiTAF09

@inproceedings{DBLP:conf/memocode/SarbisheiTAF09,
  author       = {Omid Sarbishei and
                  Mahmoud Tabandeh and
                  Bijan Alizadeh and
                  Masahiro Fujita},
  title        = {High-level optimization of integer multipliers over a finite bit-width
                  with verification capabilities},
  booktitle    = {7th {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign {(MEMOCODE} 2009), July 13-15, 2009, Cambridge, Massachusetts,
                  {USA}},
  pages        = {56--65},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/MEMCOD.2009.5185378},
  doi          = {10.1109/MEMCOD.2009.5185378},
  timestamp    = {Mon, 30 Mar 2020 09:31:20 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/SarbisheiTAF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}