✦ LIBER ✦
Automated technique for high-level circuit synthesis from temporal logic specifications
✍ Scribed by Dowsing, R.; Elliott, R.; Marshall, I.
- Book ID
- 114448097
- Publisher
- The Institution of Electrical Engineers
- Year
- 1994
- Tongue
- English
- Weight
- 664 KB
- Volume
- 141
- Category
- Article
- ISSN
- 1350-2387
No coin nor oath required. For personal study only.