CTL* (Q5014579)
Jump to navigation
Jump to search
branching time logic which is a superset of LTL and CTL
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | CTL* |
branching time logic which is a superset of LTL and CTL |
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(4 entries)
- elwiki CTL*
- enwiki CTL*
- frwiki CTL*
- plwiki Logika CTL*