IBP-Masi
1993/76:
Rapport de Recherche Masi /
Masi research reports
pages - Novembre/November 1999 -
French document.
PostScript : 195 Ko /Kb
Titre / Title: Évaluation Paramétrée de Formules de Logique Temporelle
Abstract :
Publications internes Masi 1993 / Masi research reports 1993