Cai, Z. C., Date, N., Gu, J. T., Rivera, C., Chajed, T., Padon, O., . . . Sun, X. (2026). Welder: Compositional Liveness Verification of Cluster Control Planes. Proceedings of the ACM SIGOPS 32nd Symposium on Operating Systems Principles, 713. https://doi.org/10.1145/3830418.3843868
Παραπομπή σε μορφή Chicago (17η εκδ.)Cai, Zhizhen Cathy, Nikhil Date, Jiawei Tyler Gu, Cody Rivera, Tej Chajed, Oded Padon, Tianyin Xu, και Xudong Sun. "Welder: Compositional Liveness Verification of Cluster Control Planes." Proceedings of the ACM SIGOPS 32nd Symposium on Operating Systems Principles 2026: 713. https://doi.org/10.1145/3830418.3843868.
Παραπομπή σε μορφή MLA (9th εκδ.)Cai, Zhizhen Cathy, et al. "Welder: Compositional Liveness Verification of Cluster Control Planes." Proceedings of the ACM SIGOPS 32nd Symposium on Operating Systems Principles, 2026, p. 713, https://doi.org/10.1145/3830418.3843868.