Publications

2 results for Sampath Kannan

Spot-checkers
- - Funda Ergün
  - Sampath Kannan
  - et al.
- 2000
- Journal of Computer and System Sciences
Checking the correctness of memories
- - M. Blum
  - W. Evans
  - et al.
- 1994
- Algorithmica