✦ LIBER ✦
Verification of safeness and mutual exclusion properties of algebraically specified token ring LAN protocol
✍ Scribed by Teruo Higashino; Mamoru Fujii; Ken'Ichi Taniguchi; Tadao Kasami; Masaaki Mori
- Book ID
- 112205856
- Publisher
- John Wiley and Sons
- Year
- 1989
- Tongue
- English
- Weight
- 921 KB
- Volume
- 20
- Category
- Article
- ISSN
- 0882-1666
No coin nor oath required. For personal study only.