Christian H. Golaszewski, Robert P. Kurshan. Task-Driven Supervisory Control of Discrete Event Systems. In Edmund M. Clarke, Robert P. Kurshan, editors, Computer Aided Verification, 2nd International Workshop, CAV 90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings. Volume 531 of Lecture Notes in Computer Science, pages 282-291, Springer, 1990.
@inproceedings{GolaszewskiK90,
title = {Task-Driven Supervisory Control of Discrete Event Systems},
author = {Christian H. Golaszewski and Robert P. Kurshan},
year = {1990},
tags = {control systems},
researchr = {https://researchr.org/publication/GolaszewskiK90},
cites = {0},
citedby = {0},
pages = {282-291},
booktitle = {Computer Aided Verification, 2nd International Workshop, CAV 90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings},
editor = {Edmund M. Clarke and Robert P. Kurshan},
volume = {531},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-54477-1},
}