Article Dans Une Revue
International Journal of Foundations of Computer Science
Année : 2003
Tayssir Touili : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00161121
Soumis le : lundi 9 juillet 2007-18:35:28
Dernière modification le : vendredi 24 mars 2023-14:52:49
Dates et versions
Identifiants
- HAL Id : hal-00161121 , version 1
Citer
Ahmed Bouajjani, Javier Esparza, Tayssir Touili. A generic approach to the static analysis of concurrent programs with procedures.. International Journal of Foundations of Computer Science, 2003, 4, pp.551- 566. ⟨hal-00161121⟩
Collections
21
Consultations
0
Téléchargements