Chapitre D'ouvrage
Année : 2011
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01288078
Soumis le : lundi 14 mars 2016-15:39:28
Dernière modification le : mardi 11 avril 2023-15:16:28
Dates et versions
Identifiants
- HAL Id : hal-01288078 , version 1
Citer
Jean-François Pradat-Peyre, Yann Thierry-Mieg. Verification of Finite-State Systems. Models and Analysis in Distributed Systems, Wiley, pp.155-220, 2011, 9781848213142. ⟨hal-01288078⟩
Collections
109
Consultations
0
Téléchargements