Chapitre D'ouvrage
Année : 2006
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01351283
Soumis le : mercredi 3 août 2016-11:40:34
Dernière modification le : mardi 11 avril 2023-15:16:28
Dates et versions
Identifiants
- HAL Id : hal-01351283 , version 1
Citer
Frédéric Peschanski, Denis Poitrenaud. Vérification de systèmes infinis. Méthodes formelles pour les systèmes répartis et coopératifs, Hermès Lavoisier, pp.213-250, 2006, IC2 Series, 2-7462-1447-4. ⟨hal-01351283⟩
Collections
43
Consultations
0
Téléchargements