QQ客服 官方微博 反馈留言

	Instant-Based and State-Based Analysis of Infinite Logical Clock
	Xu, Qingguo[1]; Miao, Huaikou[2]; de Simone, Robert[3]; DeAntoni, Julien[4]
	2017
会议名称	STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD
会议日期	2017-01-01
关键词	CCSL Clock model State transition system Infinite clock
页码	32-51
URL标识	查看原文
内容类型	会议论文
URI标识	http://www.corc.org.cn/handle/1471x/2190857
专题	上海大学
作者单位	1.[1]Shanghai Univ, Sch Comp Engn & Sci, 99 Shangda Rd, Shanghai 200444, Peoples R China.,Shanghai Key Lab Comp Software Testing & Evaluati, Shanghai 2011114, Peoples R China. 2.[2]Shanghai Univ, Sch Comp Engn & Sci, 99 Shangda Rd, Shanghai 200444, Peoples R China.,Shanghai Key Lab Comp Software Testing & Evaluati, Shanghai 2011114, Peoples R China. 3.[3]Univ Nice Sophia Antipolis, INRIA Sophia Antipolis Mediterranee AOSTE, I3S, F-06902 Sophia Antipolis, France. 4.[4]Univ Nice Sophia Antipolis, INRIA Sophia Antipolis Mediterranee AOSTE, I3S, F-06902 Sophia Antipolis, France.
推荐引用方式 GB/T 7714	Xu, Qingguo[1],Miao, Huaikou[2],de Simone, Robert[3],et al. Instant-Based and State-Based Analysis of Infinite Logical Clock[C]. 见:STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD. 2017-01-01.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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