✦ LIBER ✦
Attacking a complex distributed algorithm from different sides: an experience with complementary validation tools
✍ Scribed by Roland Groz; Claude Jard; Claire Lassudrie
- Book ID
- 103620290
- Publisher
- Elsevier Science
- Year
- 1985
- Tongue
- English
- Weight
- 1000 KB
- Volume
- 10
- Category
- Article
- ISSN
- 0169-7552
No coin nor oath required. For personal study only.