![](/img/cover-not-exists.png)
[ACM Press the 2002 ACM symposium - Madrid, Spain (2002.03.11-2002.03.14)] Proceedings of the 2002 ACM symposium on Applied computing - SAC '02 - Formal verification of replication on a distributed data space architecture
Hooman, Jozef, van de Pol, JacoYear:
2002
Language:
english
DOI:
10.1145/508791.508859
File:
PDF, 759 KB
english, 2002