中文
Temporal Logic Semantics Model and Its Implementation Using PVS
XU Qing-guo, MIAO Huai-kou
Journal of Applied Sciences . 2006, (6): 598 -603 .