✦ LIBER ✦
Automatic verification of operating schedules for batch processes using symbolic model checking: Latch model vs. real-time
✍ Scribed by Jinkyung Kim; Il Moon
- Book ID
- 107514530
- Publisher
- Springer US
- Year
- 2010
- Tongue
- English
- Weight
- 630 KB
- Volume
- 27
- Category
- Article
- ISSN
- 0256-1115
No coin nor oath required. For personal study only.