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
Full metadata record
DC FieldValueLanguage
dc.contributor.authorOdorico Machado Mendizabal-
dc.contributor.authorFernando Luís Dotti-
dc.date.accessioned2019-01-07T11:14:56Z-
dc.date.available2019-01-07T11:14:56Z-
dc.date.issued2013-
dc.identifier.urihttp://hdl.handle.net/10923/13627-
dc.language.isoen-
dc.relation.ispartofAnais do 31ro Simpósio Brasileiro de Redes de Computadores, 2013, Brasil.-
dc.rightsopenAccess-
dc.titleModel Checking the Deferred Update Replication Protocol-
dc.typeconferenceObject-
dc.date.updated2019-01-07T11:14:55Z-
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 simple 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.