PSPACE-completeness of Modular Supervisory Control Problems*
Discrete Event Dynamic Systems: Theory and Applications - Netherlands
doi 10.1007/s10626-004-6210-5
Full Text
Open PDFAbstract
Available in full text
Date
June 1, 2005
Authors
Publisher
Springer Science and Business Media LLC