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.
Item Type: Conference or Workshop Item (UNSPECIFIED)
Language: English
Title: Improved Model Checking of Hierarchical Systems
Creators:
CreatorsEmail
Murano, AnielloUNSPECIFIED
Autor/s: 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

Actions (login required)

View Item View Item