S. I. Joe

Publication Activity (10 Years)

Years Active: 2005-2005
Publications (10 Years): 0

Publications

Rebecca M. Gott, Jason Baumgartner, Paul Roessler, S. I. Joe
Functional formal verification on designs of pSeries microprocessors and communication subsystems. IBM J. Res. Dev. 49 (4-5) (2005)