No label defined (Q4263018)
From MaRDI portal
scientific article; zbMATH DE number 1341479
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1341479 |
Statements
22 September 1999
0 references
tableau calculus
0 references
linear time temporal logic for reasoning about processes and events in concurrent systems
0 references
explicit quantification over states
0 references
