Safety for branching time semantics

ISCAS OpenIR

	Safety for branching time semantics
	A. Bouajjani; J. C. Fernandez; S. Graf; C. Rodriguez; J. Sifakis
Source	Lecture Notes in Computer Science
Other responsible	Springer
	1991
Publisher	Springer
Publish Place	Berlin / Heidelberg
Language	英语
Content Type	专著章节/文集论文
URI	http://ir.iscas.ac.cn/handle/311060/1217
Collection	中国科学院软件研究所
Recommended Citation GB/T 7714	A. Bouajjani,J. C. Fernandez,S. Graf,et al. Safety for branching time semantics. Lecture Notes in Computer Science. Berlin / Heidelberg:Springer,1991.

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

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