Vista normal Vista MARC
  • Ramirez Rico, Sergio Steven

Ramirez Rico, Sergio Steven (Nombre personal)

Forma preferida: Ramirez Rico, Sergio Steven

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