Projet de recherche
22B
LOGICAS DE ESPECIFICACION TEMPORALES Y MODALES PARA LA LOGICA DE REESCRITURA.
date_range
Durée de 07 mai 1997 à 07 mai 1997
(1 mois)