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'ouvrageDate
2003Book title
Vérification et mise en œuvre des réseaux de PetriBook author
M. DiazPublisher
Hermes
Published in
Paris
ISBN
2-7462-0445-2
Number of pages
389Pages
163-187
Metadata
Show full item recordSubjects / Keywords
symétries; logiques temporellesRelated items
Showing items related by title and author.
-
Baarir, Souheib; Haddad, Serge; Ilié, Jean-Michel (2005) Communication / Conférence
-
Haddad, Serge; Ilié, Jean-Michel; Taghelit, Mohamed; Zouari, Belhassen (1995) Communication / Conférence
-
Baarir, Souheib; Dutheillet, Claude; Haddad, Serge; Ilié, Jean-Michel (2005) Communication / Conférence
-
Haddad, Serge; Ilié, Jean-Michel; Ajami, Khalil (2000) Communication / Conférence
-
Ajami, Khalil; Haddad, Serge; Ilié, Jean-Michel (1998) Communication / Conférence