Praveen, M., Ramesh, R., & Doidge, I. (2024). Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol.
Style de citation Chicago (17e éd.)Praveen, M., Raghavendra Ramesh, et Isaac Doidge. Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol. 2024.
Style de citation MLA (9e éd.)Praveen, M., et al. Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.