Utilize este identificador para citar ou criar um atalho para este documento: 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
In: Anais do 31ro Simpósio Brasileiro de Redes de Computadores, 2013, Brasil.
Data de Publicação: 2013
URI: http://hdl.handle.net/10923/13627
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.