1. Repositório PUCRS
  2. PUBLICAÇÕES CIENTÍFICAS
  3. Apresentação em Evento
Please use this identifier to cite or link to this item: https://hdl.handle.net/10923/13627
Type: conferenceObject
Title: Model Checking the Deferred Update Replication Protocol
Author(s): Odorico Machado Mendizabal
Fernando Luís Dotti
In: Anais do 31ro Simpósio Brasileiro de Redes de Computadores, 2013, Brasil.
Issue Date: 2013
URI: http://hdl.handle.net/10923/13627
Appears in Collections:Apresentação em Evento

Files in This Item:
File Description SizeFormat 
Model_Checking_the_Deferred_Update_Replication_Protocol.pdf1,67 MBAdobe PDFOpen
View
Show full item record See statistics Search for other versions of fulltext via SFX


All Items in PUCRS Repository are protected by copyright, with all rights reserved, and are licensed under a Creative Commons Attribution-NonCommercial 4.0 International License. Read more.