CORC  > 贵州大学
On actions of Temporal Logic of Actions
Li, Juntao; You, Ziyi; Tang, Zhengyi; Li, Xiang
2010
会议日期August 20, 2010 - August 22, 2010
会议地点Chengdu, China
会议录ICACTE 2010 - 2010 3rd International Conference on Advanced Computer Theory and Engineering, Proceedings
URL标识查看原文
内容类型会议论文
URI标识http://www.corc.org.cn/handle/1471x/6005258
专题贵州大学
作者单位[1] College of Computer and Information, Guizhou University, Guiyang, China
推荐引用方式
GB/T 7714
Li, Juntao,You, Ziyi,Tang, Zhengyi,et al. On actions of Temporal Logic of Actions[C]. 见:. Chengdu, China. August 20, 2010 - August 22, 2010.
个性服务
查看访问统计
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。


©版权所有 ©2017 CSpace - Powered by CSpace