Leung, D., Zeldovich, N., & Kaashoek, F. (2025). Shipwright: Proving liveness of distributed systems with Byzantine participants.
Citazione stile Chigago Style (17a edizione)Leung, Derek, Nickolai Zeldovich, e Frans Kaashoek. Shipwright: Proving Liveness of Distributed Systems with Byzantine Participants. 2025.
Citatione MLA (9a ed.)Leung, Derek, et al. Shipwright: Proving Liveness of Distributed Systems with Byzantine Participants. 2025.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.