这种反向推论的路径是西方逻辑的基础，即线性逻辑。
That backward path is the foundation of Western, linear logic.
最后介绍了线性时态逻辑特性模式在SPIN中的应用。
At last, the application of Property patterns of LTL formulas was given in SPIN tool.
最后介绍了线性时态逻辑特性模式在SPIN中的应用。
At last, the application of Property patterns of LTL formulas was given in SPIN tool.
应用推荐