Communication Dans Un Congrès
Année : 2005
Tayssir Touili : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00161105
Soumis le : lundi 9 juillet 2007-18:02:23
Dernière modification le : vendredi 24 mars 2023-14:52:49
Dates et versions
Identifiants
- HAL Id : hal-00161105 , version 1
Citer
Sagar Chaki, Edmund Clarke, Orna Grumberg, Joel Ouaknine, Natasha Sharygina, et al.. State/Event Software Verification for Branching-Time Specifications.. 2005, pp.53-69. ⟨hal-00161105⟩
Collections
16
Consultations
0
Téléchargements