pltl

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

   {Propositional Linear Temporal Logic}
    

[email protected]