✦ LIBER ✦
Can current protocol verification techniques guarantee correctness?
✍ Scribed by Yechiam Yemini; James F Kurose
- Book ID
- 103788174
- Publisher
- Elsevier Science
- Year
- 1982
- Weight
- 419 KB
- Volume
- 6
- Category
- Article
- ISSN
- 0376-5075
No coin nor oath required. For personal study only.