LPTL是什么意思

英文含义

LPTL的全称：Linear-Time Propositional Temporal Logic (computer science) | 中文意思：───线性时间的命题时态逻辑(计算机科学)

LPTL的全称：Lithium Processing Test Loop | 中文意思：───锂处理试验回路