Symétries et logique temporelle

Serge Haddad Jean-Michel Ilié 1
1 SRC - Systèmes répartis et coopératifs
LIP6 - Laboratoire d'Informatique de Paris 6
Document type :
Book sections
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01529951
Contributor : Lip6 Publications <>
Submitted on : Wednesday, May 31, 2017 - 3:40:30 PM
Last modification on : Thursday, March 21, 2019 - 1:06:36 PM

Identifiers

  • HAL Id : hal-01529951, version 1

Citation

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⟩

Share

Metrics

Record views

155