Disambiguation evidence for CTL* via surface form

"CTL*"

Triples (2)

Triples where some other subject referred to this entity as "CTL*".

E. Allen Emerson → notableConcept →
"CTL*"
↳ resolves to CTL*
ⓘ
linear temporal logic → isRelatedTo →
"CTL*"
↳ resolves to CTL*
ⓘ