Jozef Hooman, Jaco van de Pol. Formal verification of replication on a distributed data space architecture. In Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), March 10-14, 2002, Madrid, Spain. pages 351-358, ACM, 2002. [doi]
@inproceedings{HoomanP02:0,
title = {Formal verification of replication on a distributed data space architecture},
author = {Jozef Hooman and Jaco van de Pol},
year = {2002},
doi = {10.1145/508791.508859},
url = {http://doi.acm.org/10.1145/508791.508859},
tags = {architecture, data-flow},
researchr = {https://researchr.org/publication/HoomanP02%3A0},
cites = {0},
citedby = {0},
pages = {351-358},
booktitle = {Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), March 10-14, 2002, Madrid, Spain},
publisher = {ACM},
}