AGUSTIN DE
DIOS HERNANDEZ
Chercheur dans le période 1992-2016
Projets finalisés
2001
-
VERIFICACION FORMAL DE PROTOCOLOS DE COHERENCIA CACHE EN SISTEMAS MULTIPROCESADOR
MANUEL BARRIO SOLORZANO