Utilize este identificador para citar ou criar um atalho para este documento: https://hdl.handle.net/10923/13627
Registro Completo de Metadados
Campo DCValorIdioma
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-
Aparece nas Coleções:Apresentação em Evento

Arquivos neste item:
Arquivo Descrição TamanhoFormato 
Model_Checking_the_Deferred_Update_Replication_Protocol.pdf1,67 MBAdobe PDFAbrir
Exibir


Todos os itens no Repositório da PUCRS estão protegidos por copyright, com todos os direitos reservados, e estão licenciados com uma Licença Creative Commons - Atribuição-NãoComercial 4.0 Internacional. Saiba mais.