Zhai, S., Li, X., & Ge, N. (2023, May). HOME: Heard-Of based Formal Modeling and Verification Environment for Consensus Protocols. Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online), 16-20. https://doi.org/10.1109/ICSE-Companion58688.2023.00016
Chicago-Zitierstil (17. Ausg.)Zhai, Shumao, Xiaozhou Li, und Ning Ge. "HOME: Heard-Of Based Formal Modeling and Verification Environment for Consensus Protocols." Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online) May. 2023: 16-20. https://doi.org/10.1109/ICSE-Companion58688.2023.00016.
MLA-Zitierstil (9. Ausg.)Zhai, Shumao, et al. "HOME: Heard-Of Based Formal Modeling and Verification Environment for Consensus Protocols." Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online), May. 2023, pp. 16-20, https://doi.org/10.1109/ICSE-Companion58688.2023.00016.