Book Sections
Year : 2003
Lip6 Publications : Connect in order to contact the contributor
https://hal.science/hal-01529951
Submitted on : Wednesday, May 31, 2017-3:40:30 PM
Last modification on : Tuesday, April 11, 2023-3:16:28 PM
Dates and versions
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⟩
Collections
133
View
0
Download