Tesis doctorales
Hierarchical Correctness Proof of Deferred-Update Protocols for Database Replication with Crash Failures
Autor
Juárez Rodríguez, José RamónFecha de publicación
16-jun-2011Directores
Armendáriz Íñigo, José EnriqueGonzález de Mendívil Moreno, José Ramón