✦ LIBER ✦
General mixed integer programming-based liveness test for system of sequential systems with shared resources nets
✍ Scribed by Liu, G.; Li, Z.
- Book ID
- 117811328
- Publisher
- The Institution of Engineering and Technology
- Year
- 2010
- Tongue
- English
- Weight
- 446 KB
- Volume
- 4
- Category
- Article
- ISSN
- 1751-8644
No coin nor oath required. For personal study only.