Communication Dans Un Congrès
Année : 2006
Tayssir Touili : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00161090
Soumis le : lundi 9 juillet 2007-17:32:43
Dernière modification le : vendredi 24 mars 2023-14:52:49
Dates et versions
Identifiants
- HAL Id : hal-00161090 , version 1
Citer
Ahmed Bouajjani, Jan Strejcek, Tayssir Touili. On Symbolic Verification of Weakly Extended PAD.. 2006, pp.200-215. ⟨hal-00161090⟩
Collections
22
Consultations
0
Téléchargements