QQ客服 官方微博 反馈留言

	Model checking rectangular hybrid systems with timed computation tree logic
	Wang, Xiaobing; Zhang, Long; Zhang, Hai-Bin; Duan, Zhenhua; Huang, Bohu
刊名	Proceedings - 2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010
	2010
DOI	10.1109/TASE.2010.18
URL标识	查看原文
收录类别	EI
语种	英语
内容类型	期刊论文
URI标识	http://www.corc.org.cn/handle/1471x/3732833
专题	武汉大学
推荐引用方式 GB/T 7714	Wang, Xiaobing,Zhang, Long,Zhang, Hai-Bin,et al. Model checking rectangular hybrid systems with timed computation tree logic[J]. Proceedings - 2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010,2010.
APA	Wang, Xiaobing,Zhang, Long,Zhang, Hai-Bin,Duan, Zhenhua,&Huang, Bohu.(2010).Model checking rectangular hybrid systems with timed computation tree logic.Proceedings - 2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010.
MLA	Wang, Xiaobing,et al."Model checking rectangular hybrid systems with timed computation tree logic".Proceedings - 2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010 (2010).

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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