✦ LIBER ✦
Correction to "Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models"
✍ Scribed by Sunshine, C.A.; Thompson, D.H.; Erickson, R.W.; Gerhart, S.L.; Schwabe, D.
- Book ID
- 117936237
- Publisher
- IEEE
- Year
- 1983
- Tongue
- English
- Weight
- 138 KB
- Volume
- SE-9
- Category
- Article
- ISSN
- 0098-5589
No coin nor oath required. For personal study only.