Formal verification of replication on a distributed data space architecture

Additional Metadata
Publisher	ACM
Conference	Annual ACM Symposium on Applied Computing
Organisation	Specification and Analysis of Embedded Systems
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Hooman, J., & van de Pol, J. (2002). Formal verification of replication on a distributed data space architecture. In Proceedings of Annual ACM Symposium on Applied Computing 2002, special track on Coordination Models, Languages and Applications (pp. 351–358). ACM.

Publication