Cita APA

Waquim, P. E. (2014). CLOUSEAU: Verificación de propiedades de seguridad en protocolos distribuidos con probabilidades. Web

Citación estilo Chicago

Waquim, Pedro Eduardo. CLOUSEAU: Verificación De Propiedades De Seguridad En Protocolos Distribuidos Con Probabilidades. 2014.

Cita MLA

Waquim, Pedro Eduardo. CLOUSEAU: Verificación De Propiedades De Seguridad En Protocolos Distribuidos Con Probabilidades. 2014.

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