Checking the Correctness of Memories (1995)

by Manuel Blum , Will Evans , Peter Gemmell , Sampath Kannan , Moni Naor
Venue:Algorithmica
Citations:95 - 10 self