PROYECTOS REGIONALES
Project VA61/00B VERIFICACION FORMAL DE PROTOCOLOS DE COHERENCIA CA
VERIFICACION FORMAL DE PROTOCOLOS DE COHERENCIA CACHE EN SISTEMAS MULTIPROCESADOR
date_range
Duration: from 04 January 2000 to 31 December 2001
(24 months)
Finished
euro
5,819.00 EUR
Of Regional scope. With a Public character.