Lotan, R., & Shoham, S. (2024). Implicit Rankings for Verifying Liveness Properties in First-Order Logic.
Cita Chicago Style (17a ed.)Lotan, Raz, y Sharon Shoham. Implicit Rankings for Verifying Liveness Properties in First-Order Logic. 2024.
Cita MLA (9a ed.)Lotan, Raz, y Sharon Shoham. Implicit Rankings for Verifying Liveness Properties in First-Order Logic. 2024.
Precaución: Estas citas no son 100% exactas.