Temporal Logic Semantics Model and Its Implementation Using PVS

• 基于PVS的时序逻辑语义模型及其实现