Cita APA

Calvanese, D., Cosmo, F. d., Lobo, J., & Montali, M. (2021). Convergence verification of declarative distributed systems.

Citación estilo Chicago

Calvanese, Diego, Francesco di Cosmo, Jorge Lobo, y Marco Montali. Convergence Verification of Declarative Distributed Systems. 2021.

Cita MLA

Calvanese, Diego, Francesco di Cosmo, Jorge Lobo, y Marco Montali. Convergence Verification of Declarative Distributed Systems. 2021.

Precaución: Estas citas no son 100% exactas.