Vista normal
Vista MARC
- Ramirez Rico, Sergio Steven
Ramirez Rico, Sergio Steven (Nombre personal)
Machine generated authority record.
Work cat.: (CoBo-ECI): Ramirez Rico, Sergio Steven, Especificación formal y verificación de invariantes para un protocolo de coherencia del caché :, 2013