Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams

ISCAS OpenIR

	Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams
	Olivier Coudert; Jean Christophe Madre; Christian Berthet
	1990
Publisher	Springer-Verlag
Publish Place	London, UK
Language	中文
Content Type	专著章节/文集论文
URI	http://ir.iscas.ac.cn/handle/311060/1181
Collection	中国科学院软件研究所
Recommended Citation GB/T 7714	Olivier Coudert,Jean Christophe Madre,Christian Berthet. Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams. London, UK:Springer-Verlag,1990.

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

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