QQ客服 官方微博 反馈留言

	Parameter synthesis problems for one parametric clock timed automata [arXiv]
	Liyun Dai; Taolue Chen; Zhiming Liu; Bican Xia; Naijun Zhan; Larsen, K.G.
刊名	arXiv
	2018
页码	20
URL标识	查看原文
公开日期	[db:dc_date_available]
内容类型	期刊论文
URI标识	http://www.corc.org.cn/handle/1471x/5461021
专题	湖南大学
推荐引用方式 GB/T 7714	Liyun Dai,Taolue Chen,Zhiming Liu,et al. Parameter synthesis problems for one parametric clock timed automata [arXiv][J]. arXiv,2018:20.
APA	Liyun Dai,Taolue Chen,Zhiming Liu,Bican Xia,Naijun Zhan,&Larsen, K.G..(2018).Parameter synthesis problems for one parametric clock timed automata [arXiv].arXiv,20.
MLA	Liyun Dai,et al."Parameter synthesis problems for one parametric clock timed automata [arXiv]".arXiv (2018):20.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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