Chapitre D'ouvrage
Année : 2003
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01529951
Soumis le : mercredi 31 mai 2017-15:40:30
Dernière modification le : mardi 11 avril 2023-15:16:28
Dates et versions
Identifiants
- HAL Id : hal-01529951 , version 1
Citer
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
Consultations
0
Téléchargements