On the Complexity of Temporal-Logic Path Checking (Q5167829)
From MaRDI portal
scientific article; zbMATH DE number 6312305
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the Complexity of Temporal-Logic Path Checking |
scientific article; zbMATH DE number 6312305 |
Statements
On the Complexity of Temporal-Logic Path Checking (English)
0 references
1 July 2014
0 references
