BibTeX record conf/compcon/MehtaAACCCEFGGILMMMMMNPSY95

download as .bib file

  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       = {},
  doi       = {10.1109/CMPCON.1995.512422},
  timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl    = {},
  bibsource = {dblp computer science bibliography,}
a service of Schloss Dagstuhl - Leibniz Center for Informatics