Chapitre D'ouvrage
Année : 2003
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01531540
Soumis le : jeudi 1 juin 2017-17:45:44
Dernière modification le : mardi 11 avril 2023-15:16:28
Dates et versions
Identifiants
- HAL Id : hal-01531540 , version 1
Citer
Jean-Michel Couvreur, Denis Poitrenaud. Dépliages pour la vérification de propriétés temporelles. Vérification et mise en oeuvre des réseaux de Petri, Hermes Science Publications, pp.127-162, 2003, 2-7462-0445-2. ⟨hal-01531540⟩
Collections
40
Consultations
0
Téléchargements