BibTeX record conf/compcon/MehtaAACCCEFGGILMMMMMNPSY95

download as .bib file

@inproceedings{DBLP:conf/compcon/MehtaAACCCEFGGILMMMMMNPSY95,
  author       = {S. Mehta and
                  S. Ahmed and
                  S. Al{-}Ashari and
                  Dennis Chen and
                  Dev Chen and
                  S. Cokmez and
                  R. Eltejaein and
                  P. Fu and
                  Jeffery Gee and
                  T. Granvold and
                  Amaresh Iyer and
                  A. K. Lin and
                  Guillermo Maturana and
                  D. McConn and
                  H. Mohammed and
                  Jamshid Mostoufi and
                  A. Moudgal and
                  Srinivas Nori and
                  Gary Peterson and
                  M. Splain and
                  T. Yu},
  title        = {Verification of the UltraSPARC Microprocessor},
  booktitle    = {{COMPCON} '95: Technologies for the Information Superhighway, Digest
                  of Papers, San Francisco, California, USA, March 5-9, 1995},
  pages        = {452--461},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPCON.1995.512422},
  doi          = {10.1109/CMPCON.1995.512422},
  timestamp    = {Thu, 23 Mar 2023 23:58:43 +0100},
  biburl       = {https://dblp.org/rec/conf/compcon/MehtaAACCCEFGGILMMMMMNPSY95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics