Disambiguation evidence for branching-time temporal logic CTL* via surface form
"CTL* is strictly more expressive than both CTL and LTL"
Triples (1)
Triples where some other subject referred to this entity
as "CTL* is strictly more expressive than both CTL and LTL".
CTL*
→
expressivenessRelation
→
"CTL* is strictly more expressive than both CTL and LTL"
ⓘ
↳ resolves to branching-time temporal logic CTL*
linked to:
branching-time temporal logic CTL*