Murano, Aniello (2010) Improved Model Checking of Hierarchical Systems. In: 11th International Conference on Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation, 17-19 Gennaio, 2010,, Madrid, Spain.

Full text not available from this repository. [error in script] [error in script]

Item Type:	Conference or Workshop Item (UNSPECIFIED)
Lingua:	English
Title:	Improved Model Checking of Hierarchical Systems
Creators:	Creators Email Murano, Aniello UNSPECIFIED
Autore/i:	B. Aminof, A. Murano, O. Kupferman
Date:	2010
Number of Pages:	0
Department:	Scienze fisiche
Event Title:	11th International Conference on Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation
Event Location:	Madrid, Spain
Event Dates:	17-19 Gennaio, 2010,
Title of Book:	11th International Conference on Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation
Publisher:	Springer-Verlag
Date:	2010
ISBN:	978-3-642-11318-5
Volume:	5944 of LNCS
Page Range:	pp. 61-77
Number of Pages:	0
Date Deposited:	18 Oct 2010 08:15
Last Modified:	30 Apr 2014 19:41
URI:	http://www.fedoa.unina.it/id/eprint/5438

Downloads

Actions (login required)

View Item