Research project
22B
LOGICAS DE ESPECIFICACION TEMPORALES Y MODALES PARA LA LOGICA DE REESCRITURA.
date_range
Duration: from 07 May 1997 to 07 May 1997
(1 month)