computation tree logic
Sign in to saveAlso known as CTL, Branching Time Logic
theory in computer science
Wikidata facts
- Instance of
- temporal logic
- Image
- CTL model.png
Show 1 more fact
- Stack Exchange tag
- cs.stackexchange.com/tags/computation-tree-logic
Sources (3)
via Wikidata · CC0