Waquim, P. E., & D'Argenio, P. R. (2024). CLOUSEAU: Verificación de propiedades de seguridad en protocolos distribuidos con probabilidades.
Cita Chicago Style (17a ed.)Waquim, Pedro Eduardo, y Pedro Ruben D'Argenio. CLOUSEAU: Verificación De Propiedades De Seguridad En Protocolos Distribuidos Con Probabilidades. 2024.
Cita MLA (8a ed.)Waquim, Pedro Eduardo, y Pedro Ruben D'Argenio. CLOUSEAU: Verificación De Propiedades De Seguridad En Protocolos Distribuidos Con Probabilidades. 2024.
Precaución: Estas citas no son 100% exactas.