Disambiguation evidence for branching-time temporal logic CTL* via surface form

"Computation Tree Logic *"

Triples (1)

Triples where some other subject referred to this entity as "Computation Tree Logic *".

CTL* → fullName →
"Computation Tree Logic *"
↳ resolves to branching-time temporal logic CTL*
ⓘ
linked to: branching-time temporal logic CTL*