AGUSTIN DE
DIOS HERNANDEZ
Forscher in der Zeit 1992-2016
Abgeschlossene Projekte
2001
-
VERIFICACION FORMAL DE PROTOCOLOS DE COHERENCIA CACHE EN SISTEMAS MULTIPROCESADOR
MANUEL BARRIO SOLORZANO