PanLinx: ltl

filename extensions	art-335
ltl

TechTarget file types	art-336	LTL-Linear-Temporal-Logic-Formula
English	eng-000	Linear Temporal Logic Formula

PanLex-PanLinx