DBLP BibTeX Record 'journals/ibmrd/KrygowskiBGDGHHLLLMMRSSTWW09'

  author    = {Christopher A. Krygowski and
               Dean G. Bair and
               Rebecca M. Gott and
               M. H. Decker and
               A. V. Giri and
               Christian Habermann and
               Matthias Heizmann and
               Stefan Letz and
               William J. Lewis and
               Steven M. Licker and
               H. Mallar and
               Edward C. McCain and
               Wolfgang Roesner and
               N. Siddique and
               A. E. Seigler and
               Brian W. Thompto and
               K. Weber and
               Ralf Winkelmann},
  title     = {Functional verification of the IBM System z10 processor
  journal   = {IBM Journal of Research and Development},
  volume    = {53},
  number    = {1},
  year      = {2009},
  pages     = {3},
  ee        = {http://dx.doi.org/10.1147/JRD.2009.5388578},
  bibsource = {DBLP, http://dblp.uni-trier.de}