AGUSTIN DE
DIOS HERNANDEZ
Investigador en el període 1992-2016
Projectes finalitzats
2001
-
VERIFICACION FORMAL DE PROTOCOLOS DE COHERENCIA CACHE EN SISTEMAS MULTIPROCESADOR
MANUEL BARRIO SOLORZANO