反应系统的连续时序逻辑表示和验证

	反应系统的连续时序逻辑表示和验证
Alternative Title	representing and verifying reactive systems with continuous-time temporal logic
	李广元; 唐稚松
	2003
Source	计算机学报
Volume	26 Issue:11
Indexed Type	wanfang
Keyword	反应系统公平转换系统时序逻辑性质验证可判定性
Department	计算机科学国家重点实验室
Content Type	期刊论文
URI	http://ir.iscas.ac.cn/handle/311060/5078
Collection	基础软件与系统重点实验室
Recommended Citation GB/T 7714	李广元,唐稚松. 反应系统的连续时序逻辑表示和验证[J]. 计算机学报,2003,26(11).
APA	李广元,&唐稚松.(2003).反应系统的连续时序逻辑表示和验证.计算机学报,26(11).
MLA	李广元,et al."反应系统的连续时序逻辑表示和验证".计算机学报 26.11(2003).

Related Services

Bookmark

Google Scholar

Similar articles in Bing Scholar

Terms of Use

No data!

Social Bookmark/Share

All comments (0)

No comment.

The comment function is only available to registered usersLog In

If you have any objections to this item, please fill out the form below and the administrator will contact you as soon as possible.
Content:
Email：	*
Institution:
Verification Code:	Refresh

Any comments and suggestions are welcomed.
Title:	*
Content:
Email：	*
Verification Code:	Refresh

中国科学院软件研究所机构知识库