Skip to Main content Skip to Navigation
Conference papers

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

Résumé : no abstract
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00458165
Contributor : LS2N Hal Connect in order to contact the contributor
Submitted on : Friday, February 19, 2010 - 3:17:51 PM
Last modification on : Wednesday, April 27, 2022 - 4:14:38 AM

Identifiers

  • HAL Id : hal-00458165, version 1

Citation

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⟩

Share

Metrics

Record views

56