APA-Zitierstil (7. Ausg.)

Bertrand, N., Ghorpade, P., Rubin, S., Scholz, B., & Subotic, P. (2024). Reusable Formal Verification of DAG-based Consensus Protocols.

Chicago-Zitierstil (17. Ausg.)

Bertrand, Nathalie, Pranav Ghorpade, Sasha Rubin, Bernhard Scholz, und Pavle Subotic. Reusable Formal Verification of DAG-based Consensus Protocols. 2024.

MLA-Zitierstil (9. Ausg.)

Bertrand, Nathalie, et al. Reusable Formal Verification of DAG-based Consensus Protocols. 2024.