APA (7th ed.) Citation

Yao, J. (2025). Automated Verification of Safety and Liveness Properties for Distributed Protocols. https://doi.org/10.7916/0htz-nz79

Chicago Style (17th ed.) Citation

Yao, Jianan. Automated Verification of Safety and Liveness Properties for Distributed Protocols. 2025. https://doi.org/10.7916/0htz-nz79.

MLA (9th ed.) Citation

Yao, Jianan. Automated Verification of Safety and Liveness Properties for Distributed Protocols. 2025. https://doi.org/10.7916/0htz-nz79.

Warning: These citations may not always be 100% accurate.