![](/img/cover-not-exists.png)
Automatic verification of operating schedules for batch processes using symbolic model checking: Latch model vs. real-time
Jinkyung Kim, Il MoonVolume:
27
Language:
english
Pages:
8
DOI:
10.1007/s11814-010-0272-x
Date:
November, 2010
File:
PDF, 630 KB
english, 2010