Computation tree logic (Q1040040)
Jump to navigation
Jump to search
No description defined
- CTL
- Branching Time Logic
Language | Label | Description | Also known as |
---|---|---|---|
English | Computation tree logic |
No description defined |
|
Statements
Identifiers
Sitelinks
Wikipedia(8 entries)
- dewiki Computation Tree Logic
- elwiki Λογική υπολογιστικού δένδρου
- enwiki Computation tree logic
- fawiki منطق درخت محاسباتی
- jawiki 計算木論理
- kowiki 계산 트리 논리
- plwiki Logika CTL
- ptwiki Lógica de Árvore de Computação