APA (7th ed.) Citation

Majumdar, R., & Sathiyanarayana, V. R. (2024). Sound and Complete Proof Rules for Probabilistic Termination.

Chicago Style (17th ed.) Citation

Majumdar, Rupak, and V. R. Sathiyanarayana. Sound and Complete Proof Rules for Probabilistic Termination. 2024.

MLA (9th ed.) Citation

Majumdar, Rupak, and V. R. Sathiyanarayana. Sound and Complete Proof Rules for Probabilistic Termination. 2024.

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