Practical Combination of Theorem Proving and Model Checking for the Multi-facet Analysis
Résumé
no abstract
Communication Dans Un Congrès
Année : 2005
LS2N Hal : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00458165
Soumis le : vendredi 19 février 2010-15:17:51
Dernière modification le : vendredi 5 janvier 2024-03:23:23
Dates et versions
Identifiants
- HAL Id : hal-00458165 , version 1
Citer
Christian Attiogbé. Practical Combination of Theorem Proving and Model Checking for the Multi-facet Analysis. 31st Annual Conference on Current Trends in Theory and Practice of Informatics, SOFSEM'05, 2005, Liptovsky Jan, Slovakia, Slovakia. pp.1--10. ⟨hal-00458165⟩
Collections
66
Consultations
0
Téléchargements