QQ客服 官方微博 反馈留言

浏览/检索结果: 共2条，第1-2条 帮助 限定条件 发表日期：2010    专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 axiomatic temporal logic programs verification 会议论文 2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, August 25, Yang Xiaoxiao; Duan Zhenhua 收藏  |  浏览/下载：8/0  |  提交时间：2011/03/31 Computer simulation languages  Logic programming  Safety engineering  Software engineering   axiomatic semantics of projection temporal logic programs 会议论文 6th International Conference on Theory and Application of Models of Computation (TAMC 09), Changsha, PEOPLES R CHINA, MAY 18-22, Yang Xiaoxiao; Duan Zhenhua; Ma Qian 收藏  |  浏览/下载：11/0  |  提交时间：2011/03/31 Logic programming  Semantics