Communication Dans Un Congrès
Année : 2001
Tayssir Touili : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00161116
Soumis le : lundi 9 juillet 2007-18:23:49
Dernière modification le : vendredi 24 mars 2023-14:52:49
Dates et versions
Identifiants
- HAL Id : hal-00161116 , version 1
Citer
Tayssir Touili. Regular Model Checking using Widening Techniques.. 2001, pp.150-165. ⟨hal-00161116⟩
Collections
5
Consultations
0
Téléchargements