Self-Checking software in distributed systems.

Jean-Michel Ayache, Jean-Pierre Courtiat, Michel Diaz

Browse the full ICDCS paper archive.