Parameterised Model Checking for Alternating-Time Temporal Logic. (Q4576245)
From MaRDI portal
scientific article; zbMATH DE number 6902572
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Parameterised Model Checking for Alternating-Time Temporal Logic. |
scientific article; zbMATH DE number 6902572 |
Statements
12 July 2018
0 references
Parameterised Model Checking for Alternating-Time Temporal Logic. (English)
0 references
