BibTeX record conf/fmcad/FlaisherGS07

download as .bib file

@inproceedings{DBLP:conf/fmcad/FlaisherGS07,
  author    = {Alon Flaisher and
               Alon Gluska and
               Eli Singerman},
  title     = {Case study: Integrating {FV} and {DV} in the Verification of the Intel
               Core\({}^{\mbox{TM}}\) 2 Duo Microprocessor},
  booktitle = {{FMCAD}},
  pages     = {192--195},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics