PanLinx: Linear Temporal Logic Formula

English	eng-000
Linear Temporal Logic Formula

filename extensions	art-335	ltl
TechTarget file types	art-336	LTL-Linear-Temporal-Logic-Formula

PanLex-PanLinx