Practical Combination of Theorem Proving and Model Checking for the Multi-facet Analysis - LINA-AELOS Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

Practical Combination of Theorem Proving and Model Checking for the Multi-facet Analysis

Résumé

no abstract
Fichier non déposé

Dates et versions

hal-00458165 , version 1 (19-02-2010)

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⟩
58 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More