Praveen, M., Ramesh, R., & Doidge, I. (2024). Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol.
Chicago-Zitierstil (17. Ausg.)Praveen, M., Raghavendra Ramesh, und Isaac Doidge. Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol. 2024.
MLA-Zitierstil (9. Ausg.)Praveen, M., et al. Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.