1. Repositório PUCRS
  2. PUBLICAÇÕES CIENTÍFICAS
  3. Apresentação em Evento
Por favor, use este identificador para citar o enlazar este ítem: https://hdl.handle.net/10923/13627
Tipo: conferenceObject
Título: Model Checking the Deferred Update Replication Protocol
Autor(es): Odorico Machado Mendizabal
Fernando Luís Dotti
En: Anais do 31ro Simpósio Brasileiro de Redes de Computadores, 2013, Brasil.
Fecha de Publicación: 2013
URI: http://hdl.handle.net/10923/13627
Aparece en las colecciones:Apresentação em Evento

Ficheros en este ítem:
Fichero Descripción TamañoFormato 
Model_Checking_the_Deferred_Update_Replication_Protocol.pdf1,67 MBAdobe PDFAbrir
Ver
Mostrar el registro completo del ítem Ver estatísticas Busque otras versiones de este texto através de SFX


Todos los ítems en el Repositorio de la PUCRS están protegidos por derechos de autor, con todos los derechos reservados, y están bajo una licencia de Creative Commons Reconocimiento-NoComercial 4.0 Internacional. Sepa más.