Publications

Checking the correctness of memories

• • M. Blum
  • W. Evans
  • et al.
• 1994
• Algorithmica