Date
2003
Dewey
Principes généraux des mathématiques
Sujet
symétries; logiques temporelles
Book title
Vérification et mise en œuvre des réseaux de Petri
Author
M. Diaz
Publisher
Hermes
Publisher city
Paris
Year
2003
Pages number
389
ISBN
2-7462-0445-2
