Symétries et logique temporelle
Date
2003Dewey
Principes généraux des mathématiquesSujet
symétries; logiques temporellesBook title
Vérification et mise en œuvre des réseaux de PetriAuthor
M. DiazPublisher
HermesPublisher city
ParisYear
2003Pages number
389ISBN
2-7462-0445-2Collections
Metadata
Show full item recordAuthor
Haddad, Serge
Ilié, Jean-Michel