Adequate Sets of Temporal Connectives in CTL (Q4917081)
From MaRDI portal
scientific article; zbMATH DE number 6158955
Language | Label | Description | Also known as |
---|---|---|---|
English | Adequate Sets of Temporal Connectives in CTL |
scientific article; zbMATH DE number 6158955 |
Statements
Adequate Sets of Temporal Connectives in CTL (English)
0 references
26 April 2013
0 references
0 references