时序逻辑在有效性控制中的应用研究
刘　磊
Controling Validity Using Temporal Logic

Liu Lei
. 2010, (05): 0 -0 . 

版权所有 © 《电脑与电信》编辑部
技术支持：北京玛格泰克科技发展有限公司