ltl

abbr.

零担（less than truckload）；立陶宛立特（立陶宛的货币名称缩写）；

The Maude LTL Model Checker
Fast LTL to Buchi Automata Translation
Fast LTL to Büchi Automata Translation
Fast LTL to Büchi Automata Translation
Another look at LTL model checking
Another look at LTL model checking
Another look at LTL model checking
LTL with the Freeze Quantifier and Register Automata
LTL with the Freeze Quantifier and Register Automata
Runtime Verification for LTL and TLTL