PanLinx: LTL-Linear-Temporal-Logic-Formula

TechTarget file types	art-336
LTL-Linear-Temporal-Logic-Formula

filename extensions	art-335	ltl
English	eng-000	Linear Temporal Logic Formula

PanLex-PanLinx