![](/img/cover-not-exists.png)
A verification methodology for real-time supervisory control specification
Sengoda G. Shanmugham, Chell A. RobertsVolume:
29
Year:
1995
Language:
english
Pages:
5
DOI:
10.1016/0360-8352(95)00159-x
File:
PDF, 455 KB
english, 1995