MehtaAACCCEFGGILMMMMMNPSY95'

@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},
  year      = {1995},
  pages     = {452-461},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}