Symétries et logique temporelle - Archive ouverte HAL Access content directly
Book Sections Year : 2003

Symétries et logique temporelle

Serge Haddad
Jean-Michel Ilié
  • Function : Author
  • PersonId : 962210
No file

Dates and versions

hal-01529951 , version 1 (31-05-2017)

Identifiers

  • HAL Id : hal-01529951 , version 1

Cite

Serge Haddad, Jean-Michel Ilié. Symétries et logique temporelle. Vérification et mise en oeuvre des réseaux de Petri, Hermes Science Publication, 2003, Traité IC2, série Informatique et Systèmes d'Information, 2-7462-0445-2. ⟨hal-01529951⟩
133 View
0 Download

Share

Gmail Facebook X LinkedIn More