Evaluation paramétrée de formules de logique temporelle

Thumbnail
View/Open
Date
1993
Notes
(short paper)
Dewey
Informatique générale
Sujet
Parallélisme
Conference name
5èmes Rencontres du Parallélisme
Conference date
05-1993
Conference city
Brest
Conference country
France
URI
https://basepub.dauphine.fr/handle/123456789/5753
Collections
Metadata
Show full item record
Author
Haddad, Serge
Vernier, Isabelle
Type
Communication / Conférence