Evaluation paramétrée de formules de logique temporelle
View/ Open
Date
1993Notes
(short paper)Dewey
Informatique généraleSujet
ParallélismeConference name
5èmes Rencontres du ParallélismeConference date
05-1993Conference city
BrestConference country
FranceCollections
Metadata
Show full item recordAuthor
Haddad, Serge
Vernier, Isabelle