Skip to content

Formal verification of replication on a distributed data space architecture.

Jozef Hooman, Jaco van de Pol

Year2002
ProceedingsSAC

Browse the full SAC paper archive.