Skip to Main content Skip to Navigation
Journal articles

Analyzing the Readers/Writers System Using the B Theorem Prover

Résumé : no abstract
Document type :
Journal articles
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00444072
Contributor : Coloss Lina Connect in order to contact the contributor
Submitted on : Tuesday, January 5, 2010 - 3:57:14 PM
Last modification on : Wednesday, April 27, 2022 - 4:13:33 AM

Identifiers

  • HAL Id : hal-00444072, version 1

Citation

Christian Attiogbé. Analyzing the Readers/Writers System Using the B Theorem Prover. GESTS International Transaction on Computer Science and Engineering, 2005, 7 (1), pp.87--98. ⟨hal-00444072⟩

Share

Metrics

Record views

58