Disambiguation evidence for linear temporal logic via surface form
"linear-time temporal logic"
Triples (1)
Triples where some other subject referred to this entity
as "linear-time temporal logic".
Disambiguation evidence for linear temporal logic via surface form
Triples where some other subject referred to this entity
as "linear-time temporal logic".