Waquim, P. E., & D'Argenio, P. R. (2024). CLOUSEAU: Verificación de propiedades de seguridad en protocolos distribuidos con probabilidades.
Chicago Style (17th ed.) CitationWaquim, Pedro Eduardo, and Pedro Ruben D'Argenio. CLOUSEAU: Verificación De Propiedades De Seguridad En Protocolos Distribuidos Con Probabilidades. 2024.
MLA (9th ed.) CitationWaquim, Pedro Eduardo, and Pedro Ruben D'Argenio. CLOUSEAU: Verificación De Propiedades De Seguridad En Protocolos Distribuidos Con Probabilidades. 2024.