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
Article · Polski
Logika CTL – jedna z logik temporalnych. Jest oparta na liniowej strukturze czasu.
Abstract from DBpedia / Wikipedia · CC BY-SA