Publications

Design of provably correct storage arrays

• • R.V. Joshi
  • W. Hwang
  • et al.
• 2001
• VLSID 2001