![](/img/cover-not-exists.png)
Automated verification of function block-based industrial control systems
Norbert Völker, Bernd J. KrämerVolume:
42
Year:
2002
Language:
english
Pages:
13
DOI:
10.1016/s0167-6423(01)00028-4
File:
PDF, 154 KB
english, 2002