欢迎访问陕西师范大学学报(自然科学版)官方网站！
迁移系统关于一类时态逻辑公式的满足度
王国俊,王庆平,时慧娴,罗清君,王伟
Satisfaction degree for a class of temporal logic formulae based on transition systems
WANG Guo-jun, WANG Qing-ping, SHI Hui-xian, LUO Qing-jun, WANG Wei
陕西师范大学学报(自然科学版) . 2013, (4): 1 -10 . 

版权所有 © 《陕西师范大学学报(自然科学版)》编辑部
地址：中国西安陕西师范大学长安校区文汇楼C段3层　
邮编：710119
电话：029-81530883，81530879，81530885　
E-mail：lkxuebao@snnu.edu.cn
技术支持：北京玛格泰克科技发展有限公司