AMC: Towards Trustworthy and Explorable CRDT Applications with the Automerge Model Checker. Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data. https://doi.org/10.1145/3578358.3591326
Chicago Style (17th ed.) Citation"AMC: Towards Trustworthy and Explorable CRDT Applications with the Automerge Model Checker." Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data . https://doi.org/10.1145/3578358.3591326.
MLA (9th ed.) Citation"AMC: Towards Trustworthy and Explorable CRDT Applications with the Automerge Model Checker." Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data, , https://doi.org/10.1145/3578358.3591326.
Warning: These citations may not always be 100% accurate.