Complexity of Verifying Nonblockingness in Modular Supervisory Control (Q4567109)
From MaRDI portal
scientific article; zbMATH DE number 6896013
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Complexity of Verifying Nonblockingness in Modular Supervisory Control |
scientific article; zbMATH DE number 6896013 |
Statements
Complexity of Verifying Nonblockingness in Modular Supervisory Control (English)
0 references
27 June 2018
0 references
