APA (7th ed.) Citation

Praveen, M., Ramesh, R., & Doidge, I. (2024). Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol.

Chicago Style (17th ed.) Citation

Praveen, M., Raghavendra Ramesh, and Isaac Doidge. Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol. 2024.

MLA (9th ed.) Citation

Praveen, M., et al. Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol. 2024.