LTL

from The Free On-line Dictionary of Computing (8 July 2008)
LTL

   {Linear Temporal Logic}
    

[email protected]