The Complexity of Diagnosability and Opacity Verification for Petri Nets (Q129584366)
scholarly article
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The Complexity of Diagnosability and Opacity Verification for Petri Nets |
scholarly article |
Statements
The Complexity of Diagnosability and Opacity Verification for Petri Nets (English)
1 reference
