Anglais ⇄ Anglais Russe +

linear temporal logic contraintes
progr.	линейная темпоральная логика (сокр. LTL ssn); темпоральная логика линейного времени (сокр. LTL ssn); логика линейного времени (ssn)
Anglais glossaire
Linear Temporal Logic
abrév., progr.	LTL (ssn)