@article{DBLP:journals/ibmrd/WazlowskiABBBCDGGHHHNOSSSTTUV05,
author = {Michael E. Wazlowski and
Narasimha R. Adiga and
Daniel K. Beece and
Ralph Bellofatto and
Matthias A. Blumrich and
Dong Chen and
Marc Boris Dombrowa and
Alan Gara and
Mark Giampapa and
Ruud A. Haring and
Philip Heidelberger and
Dirk Hoenicke and
Ben J. Nathanson and
Martin Ohmacht and
Robert Sharrar and
Sarabjeet Singh and
Burkhard D. Steinmacher-Burow and
R. Brett Tremaine and
Mickey Tsao and
Arun R. Umamaheshwaran and
Pavlos Vranas},
title = {Verification strategy for the Blue Gene/L chip},
journal = {IBM Journal of Research and Development},
volume = {49},
number = {2-3},
year = {2005},
pages = {303-318},
ee = {http://dx.doi.org/10.1147/rd.492.0303},
bibsource = {DBLP, http://dblp.uni-trier.de}
}