Campo DC | Valor | Idioma |
dc.contributor.author | Odorico Machado Mendizabal | - |
dc.contributor.author | Fernando Luís Dotti | - |
dc.date.accessioned | 2019-01-07T11:14:56Z | - |
dc.date.available | 2019-01-07T11:14:56Z | - |
dc.date.issued | 2013 | - |
dc.identifier.uri | http://hdl.handle.net/10923/13627 | - |
dc.language.iso | en | - |
dc.relation.ispartof | Anais do 31ro Simpósio Brasileiro de Redes de Computadores, 2013, Brasil. | - |
dc.rights | openAccess | - |
dc.title | Model Checking the Deferred Update Replication Protocol | - |
dc.type | conferenceObject | - |
dc.date.updated | 2019-01-07T11:14:55Z | - |
Aparece nas Coleções: | Apresentação em Evento
|