Please use this identifier to cite or link to this item:
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
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

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.