APA (7th ed.) Citation

Waquim, P. E., & D'Argenio, P. R. (2024). CLOUSEAU: Verificación de propiedades de seguridad en protocolos distribuidos con probabilidades.

Chicago Style (17th ed.) Citation

Waquim, Pedro Eduardo, and Pedro Ruben D'Argenio. CLOUSEAU: Verificación De Propiedades De Seguridad En Protocolos Distribuidos Con Probabilidades. 2024.

MLA (9th ed.) Citation

Waquim, Pedro Eduardo, and Pedro Ruben D'Argenio. CLOUSEAU: Verificación De Propiedades De Seguridad En Protocolos Distribuidos Con Probabilidades. 2024.

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