Thumbnail - No thumbnail

Evaluation paramétrée de formules de logique temporelle

Haddad, Serge; Vernier, Isabelle (1993), Evaluation paramétrée de formules de logique temporelle, 5èmes Rencontres du Parallélisme, 1993-05, Brest, France

View/Open
Type
Communication / Conférence
Date
1993
Conference title
5èmes Rencontres du Parallélisme
Conference date
1993-05
Conference city
Brest
Conference country
France
Metadata
Show full item record
Author(s)
Haddad, Serge
Vernier, Isabelle
Subjects / Keywords
Parallélisme