predicate mu-calculus for mobile ambients

ISCAS OpenIR

	predicate mu-calculus for mobile ambients
	Lin HM
	2005
Source	JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
ISSN	1000-9000
Volume	20 Issue:1 Pages:95-104
Indexed Type	sci ; ei
Keyword	Model Checking Mobile Ambients Spatial Logic Mu-calculus Fixpoints
Department	Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing 100080, Peoples R China.
Subject	Computer Science, Hardware & Architecture ; Computer Science, Software Engineering
Language	英语
WOS ID	WOS:000227033400010
Citation statistics	Cited Times:3[WOS] [WOS Record] [Related Records in WOS]
Content Type	期刊论文
URI	http://ir.iscas.ac.cn/handle/311060/12456
Collection	中国科学院软件研究所
Recommended Citation GB/T 7714	Lin HM. predicate mu-calculus for mobile ambients[J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,2005,20(1):95-104.
APA	Lin HM.(2005).predicate mu-calculus for mobile ambients.JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,20(1),95-104.
MLA	Lin HM."predicate mu-calculus for mobile ambients".JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY 20.1(2005):95-104.

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

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