| 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 en las colecciones: | Apresentação em Evento
|
