CLOUSEAU: verificación de propiedades de seguridad en protocolos distribuidos con probabilidades

Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014.

Bibliographic Details
Main Author: Waquim, Pedro Eduardo
Other Authors: D'Argenio, Pedro Ruben
Format: bachelorThesis
Language:spa
Published: 2024
Subjects:
Online Access:http://hdl.handle.net/11086/551674