cfaed Publications
Complexity of Verifying Nonblockingness in Modular Supervisory Control
Reference
Tomáš Masopust, "Complexity of Verifying Nonblockingness in Modular Supervisory Control", 2016.
Bibtex
@article{masopust2016complexity,
title={Complexity of Verifying Nonblockingness in Modular Supervisory Control},
author={Masopust, Tom{\'a}{\v{s}}},
year={2016}
}
title={Complexity of Verifying Nonblockingness in Modular Supervisory Control},
author={Masopust, Tom{\'a}{\v{s}}},
year={2016}
}
Downloads
No Downloads available for this publication
Related Paths
other
Permalink
https://cfaed.tu-dresden.de/publications?pubId=2010