AGUSTIN DE
DIOS HERNANDEZ
Researcher in the period 1992-2016
Completed projects
2001
-
VERIFICACION FORMAL DE PROTOCOLOS DE COHERENCIA CACHE EN SISTEMAS MULTIPROCESADOR
MANUEL BARRIO SOLORZANO