Analyzing the Readers/Writers System Using the B Theorem Prover
Résumé
no abstract
Article Dans Une Revue
GESTS International Transaction on Computer Science and Engineering
Année : 2005
Coloss Lina : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00444072
Soumis le : mardi 5 janvier 2010-15:57:14
Dernière modification le : vendredi 5 janvier 2024-03:23:49
Dates et versions
Identifiants
- HAL Id : hal-00444072 , version 1
Citer
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⟩
Collections
75
Consultations
0
Téléchargements