Login / Signup

Formal verification of replication on a distributed data space architecture.

Jozef HoomanJaco van de Pol
Published in: SAC (2002)
Keyphrases