Thumbnail - Request a copy

Symétries et logique temporelle

Haddad, Serge; Ilié, Jean-Michel (2003), Symétries et logique temporelle, in M. Diaz, Vérification et mise en œuvre des réseaux de Petri, Hermes : Paris, p. 163-187

Type
Chapitre d'ouvrage
Date
2003
Book title
Vérification et mise en œuvre des réseaux de Petri
Book author
M. Diaz
Publisher
Hermes
Published in
Paris
ISBN
2-7462-0445-2
Number of pages
389
Pages
163-187
Metadata
Show full item record
Author(s)
Haddad, Serge
Ilié, Jean-Michel
Subjects / Keywords
symétries; logiques temporelles