Chapitre D'ouvrage
Année : 2006
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01351790
Soumis le : jeudi 4 août 2016-17:03:22
Dernière modification le : mardi 11 avril 2023-15:16:28
Dates et versions
Identifiants
- HAL Id : hal-01351790 , version 1
Citer
Jean-Michel Ilié, Yann Thierry-Mieg, Souheib Baarir. Vérification efficace des systèmes finis. Méthodes Formelles pour les Systèmes Répartis et Coopératifs, Hermes-Lavoisier, pp.171-211, 2006, Traités IC2 - Informatique et systèmes d'information, 2-7462-1447-4. ⟨hal-01351790⟩
Collections
102
Consultations
0
Téléchargements