Communication Dans Un Congrès
Année : 2003
Laure Petrucci : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00084185
Soumis le : mercredi 5 juillet 2006-23:45:57
Dernière modification le : vendredi 24 mars 2023-14:52:47
Dates et versions
Identifiants
- HAL Id : hal-00084185 , version 1
Citer
Laure Petrucci, Sébastien Bardin, Alain Finkel, Jérôme Leroux. FAST: Fast Acceleration of Symbolic Transition Systems. 15th international conference on Computer Aided Verification, 2003, United States. pp.118-121. ⟨hal-00084185⟩
Collections
88
Consultations
0
Téléchargements