![](/img/cover-not-exists.png)
[IEEE 40th Conference on Decision and Control - Orlando, FL, USA (4-7 Dec. 2001)] Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228) - Supervisory control of discrete event systems with CTL* temporal logic specifications
Shengbing Jiang,, Kumar, R.Volume:
5
Year:
2001
Language:
english
DOI:
10.1109/.2001.980826
File:
PDF, 414 KB
english, 2001