Disambiguation evidence for branching-time temporal logic CTL* via surface form
"branching-time temporal logic CTL*"
Triples (1)
Triples where some other subject referred to this entity
as "branching-time temporal logic CTL*".
E. Allen Emerson
→
notableWork
→
"branching-time temporal logic CTL*"
ⓘ
↳ resolves to branching-time temporal logic CTL*