✦ LIBER ✦
Proving properties of a new high speed data bus with predicate/transition nets
✍ Scribed by T. Pyssysalo
- Book ID
- 104179483
- Publisher
- Elsevier Science
- Year
- 1994
- Weight
- 302 KB
- Volume
- 40
- Category
- Article
- ISSN
- 0165-6074
No coin nor oath required. For personal study only.