BibTeX record conf/iccd/DohmRBHHQT98

• > Home > conf/iccd/DohmRBHHQT98

@inproceedings{DBLP:conf/iccd/DohmRBHHQT98,
  author       = {Nathan Dohm and
                  Carl Ramey and
                  Darren Brown and
                  Scot Hildebrandt and
                  James Huggins and
                  Michael Quinn and
                  Scott A. Taylor},
  title        = {Zen and the art of Alpha verification},
  booktitle    = {International Conference on Computer Design: {VLSI} in Computers and
                  Processors, {ICCD} 1998, Proceedings, 5-7 October, 1998, Austin, TX,
                  {USA}},
  pages        = {111--117},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/ICCD.1998.727031},
  doi          = {10.1109/ICCD.1998.727031},
  timestamp    = {Thu, 23 Mar 2023 23:59:55 +0100},
  biburl       = {https://dblp.org/rec/conf/iccd/DohmRBHHQT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}